Gobra: Modular Specification and Verification of Go Programs.
Felix A. WolfLinard ArquintMartin ClochardWytse OortwijnJoão C. PereiraPeter MüllerPublished in: CAV (1) (2021)
Keyphrases
- formal verification
- provably correct
- symbolic execution
- formal methods
- asynchronous circuits
- specification language
- model checking
- hardware designs
- protocol specification
- control flow
- formal specification
- computer programs
- face verification
- control program
- test generation
- automatic programming
- high level
- programming environment
- highly flexible
- reactive systems
- logic programs
- verification method
- source code
- functional verification
- data sets