Fizzbee is a formal specification language and model checker designed to specify and verify...

Tokens:62,180
Snippets:841
Trust Score:7.1
License:Apache-2.0
Update:3 weeks ago
Tokens:
Raw