|
|
|
|
|
|
by jayaprabhakar
800 days ago
|
|
|
TLA+ is growing adoption. Most modern cloud vendor uses TLA+ (AWS, Azure, Mongo, Redis, Elastic, and a lot more). I see a lot of usage in crypto world. Note: I am the developer of https://fizzbee.io a formal specification system using Pythonish language. If you are just getting started on formal methods, FizzBee would be the easiest to learn. |
|
|