Consistent Verification of Scenarios-Based Requirement Specification.
Guozhu LiuPublished in: CSIE (7) (2009)
Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- model checking
- protocol specification
- face verification
- globally optimal
- data sets
- functional verification
- databases
- formal specification
- real world
- specification language
- formal analysis
- verification method
- test generation
- neural network
- signature verification
- control flow
- artificial intelligence
- application scenarios
- real time
- data mining
- evolutionary algorithm
- high level
- computer vision