Linguagem de programação baseada em máquinas de estados para modelar formalmente e verificar sistematicamente a correção de sistemas distribuídos.
Ferramentas para desenvolvedores#formal-methods#distributed-systems#model-checking#state-machine#programming-language
3,7 mil225C#MITAtualizado há 2 meses