Giters
whazor
/
model_checker
Allows model checking by mu calculus
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
0
Watchers:
3
Issues:
0
Forks:
1
verification
rust
mu-calculus
model_checker
About
Allows model checking by mu calculus
verification
rust
mu-calculus
Languages
Language:
Rust
93.0%
Language:
Shell
5.5%
Language:
PowerShell
1.5%