Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment.
Dennis AbtsMike RobertsPublished in: DAC (1999)
Keyphrases
- model checking
- real world
- verification method
- complex environments
- small scale
- temporal logic
- real life
- autonomous agents
- virtual world
- dynamic environments
- formal verification
- web scale
- environmental conditions
- autonomous robots
- database
- distributed systems
- expert systems
- database systems
- high level
- decision trees
- genetic algorithm
- data mining
- neural network
- databases