formula
Formal Specifications for Verification and Synthesis
- Name
- formula-dotnet
- Main Program
formula- Programs
formula
- Homepage
- Version
- 2.0
- License
- Maintainers
- Platforms
- x86_64-linux
- aarch64-linux
- x86_64-darwin
- aarch64-darwin
- Defined
- Source
Formal Specifications for Verification and Synthesis
formulaformula