Automated verification of reactive and concurrent programs by calculation.
Simon FosterKangfeng YeAna CavalcantiJim WoodcockPublished in: J. Log. Algebraic Methods Program. (2021)
Keyphrases
- automated verification
- concurrent programs
- model checking
- process algebra
- temporal logic
- formal verification
- formal specification
- automated reasoning
- concurrent systems
- asynchronous circuits
- concurrent programming
- formal methods
- concurrent processes
- web applications
- knowledge representation
- relational databases
- social network analysis