A Balanced Approach to High-Level Verification: Performance Trade-Offs in Verifying Large-Scale Multiprocessors.
Dennis AbtsMike RobertsDavid J. LiljaPublished in: ICPP (2000)
Keyphrases
- high level
- trade off
- model checking
- low level
- verification method
- real life
- programming language
- formal methods
- small scale
- higher level
- multiscale
- mid level
- formal verification
- database
- false acceptance
- face verification
- intermediate level
- semantic information
- objective function
- database systems
- knowledge base
- social networks
- data sets
- real time