On the Verification of Sequential Machines at Differing Levels of Abstraction.
Srinivas DevadasHi-Keung Tony MaA. Richard NewtonPublished in: DAC (1987)
Keyphrases
- levels of abstraction
- abstraction levels
- model checking
- face verification
- verification method
- learning machines
- data sets
- parallel machines
- computer vision
- multiscale
- web services
- feature selection
- information systems
- real world
- formal methods
- databases
- test generation
- real time
- functional verification
- parallel tree search