Verification of Scenario-based Specifications using Templates.
Girish Keshav PalshikarPurandar BhaduriPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- automated verification
- concurrent systems
- model checking
- formal verification
- bounded model checking
- model checker
- asynchronous circuits
- formal specification
- protocol specification
- formal methods
- face verification
- high level
- delay insensitive
- verification method
- temporal logic
- genetic algorithm
- real world
- false acceptance
- functional verification
- real time
- person identification
- formal analysis
- test cases
- distributed systems
- computer vision
- learning algorithm
- data sets