mCRL2 is a formal specification and verification toolset for modeling and analyzing concurrent...

Tokens:31,469,323
Snippets:157,924
Trust Score:8.1
Update:6 months ago
Tokens:
Raw