New port: math/rumur: Model checker, a formal verification tool for state machines
Description
Description
Details
Details
- Provenance
yuri Authored on - Parents
- rP503338: security/peda: Update to latest version (v1.1-21-gf76c34d)
- Branches
- Unknown
- Tags
New port: math/rumur: Model checker, a formal verification tool for state… Tags None Referenced Files None Subscribers None |