Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices.
Jean-Christophe LéchenetNikolai KosmatovPascale Le GallPublished in: FASE (2016)
Keyphrases
- source code
- model checking
- artificial intelligence
- cardiac mri
- verification method
- asynchronous circuits
- formal verification
- software projects
- search space
- computer vision
- test cases
- search algorithm
- face recognition
- information systems
- fingerprint verification
- planar graphs
- neural network
- concurrent systems
- functional verification
- database