Keyphrases
- formal specification
- model checking
- concurrent systems
- formal methods
- model checker
- specification language
- temporal logic
- object oriented design
- formal verification
- protocol specification
- specification languages
- model based diagnosis
- data abstraction
- process algebra
- grid workflow
- hardware implementation
- reverse engineering
- bounded model checking
- integrated circuit
- cooperative
- multi agent
- asynchronous circuits
- case study
- information systems
- database