Lenguaje de programación basado en máquinas de estados para modelar formalmente y comprobar de forma sistemática la corrección de sistemas distribuidos.
Herramientas para desarrolladores#formal-methods#distributed-systems#model-checking#state-machine#programming-language
3,7 mil225C#MITActualizado hace 2 meses