Keyphrases
- bounded model checking
- concurrent programs
- model checking
- process algebra
- formal verification
- temporal logic
- formal specification
- concurrent programming
- linear temporal logic
- multi agent systems
- web applications
- concurrent systems
- formal methods
- transition systems
- formal semantics
- multi agent
- asynchronous circuits
- petri net
- concurrent processes