5 ms·
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
by jayaprabhakar 2y 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 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.