A state-machine based programming language for formally modeling and systematically checking the correctness of distributed systems.
Developer Tools#formal-methods#distributed-systems#model-checking#state-machine#programming-language
3.7K225C#MITUpdated 2 months ago