Automated Logical Verification Based on Trace Abstractions.
Nils KlarlundMogens NielsenKim SunesenPublished in: PODC (1996)
Keyphrases
- semi automated
- high level
- data independence
- verification method
- fully automated
- computer assisted
- asynchronous circuits
- face verification
- data sets
- model checking
- data driven
- learning algorithm
- computer aided
- context sensitive
- source code
- digital libraries
- decision trees
- automated analysis
- signature verification
- formal verification
- information retrieval
- neural network