Keyphrases
- formal verification
- model checking
- bounded model checking
- automated verification
- viewpoint
- symbolic model checking
- program slicing
- model checker
- database systems
- concurrency control
- supply chain
- transaction processing
- smart environments
- smart grid
- reverse engineering
- distributed databases
- software engineering
- knowledge base