Modular specification and verification of closures in Rust.
Fabian WolffAurel BílýChristoph MathejaPeter MüllerAlexander J. SummersPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- protocol specification
- model checking
- high level
- formal specification
- specification language
- colored petri nets
- concurrent systems
- transitive closure
- face verification
- real time
- petri net
- cryptographic protocols
- learning algorithm
- provably correct
- verification method
- modular structure
- linear temporal logic
- genetic algorithm