Keyphrases
- concurrent systems
- model checking
- complex objects
- formal verification
- automated verification
- bounded model checking
- high level
- model checker
- asynchronous circuits
- d objects
- lighting conditions
- spatial relationships
- multiple objects
- program slicing
- delay insensitive
- formal specification
- object model
- data objects
- multi view
- moving objects