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