tlaplus

Githubhttp://lamport.azurewebsites.net/tla/tla.htmlFollowers 738

代码库

tlaplus/tlaplus

3k

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Java

algorithmshigh-performancejavamit-licensemodel-checkingspecificationstlaverification