Gobra: Modular Specification and Verification of Go Programs (extended version).
Felix A. WolfLinard ArquintMartin ClochardWytse OortwijnJoão C. PereiraPeter MüllerPublished in: CoRR (2021)
Keyphrases
- formal verification
- provably correct
- symbolic execution
- formal methods
- asynchronous circuits
- specification language
- model checking
- protocol specification
- high level
- computer programs
- hardware designs
- java programs
- derivation rules
- artificial intelligence
- test generation
- concurrent systems
- control program
- real time
- web services
- neural network