Hi,
Just wondering whether WGC4 will have content around formal design/modelling tools such as TLA+, Alloy, Coq, etc?
I've been learning (trying to learn) TLA+ for a while, but thinking in terms of state machines is very different. I can definitely see the need for these tools during the design ...
Search found 1 match
- Tue Mar 26, 2024 2:15 am
- Forum: Write Great Code
- Topic: Formal design tools in WGC4?
- Replies: 1
- Views: 658