Beyond verification: leveraging formal for debugging.
Rajeev K. RanjanClaudionor CoelhoSebastian SkalbergPublished in: DAC (2009)
Keyphrases
- knowledge base
- formal methods
- hardware designs
- formal analysis
- model checking
- expert systems
- formal specification
- formal models
- formal model
- face verification
- object oriented
- evolutionary algorithm
- database
- data structure
- database systems
- parallel programming
- asynchronous circuits
- novice programmers
- concurrent systems
- computer vision