Abstraction-Driven Verification of Array Programs.
David DéharbeAbdessamad ImineSilvio RanisePublished in: AISC (2004)
Keyphrases
- hardware designs
- symbolic execution
- bounded model checking
- model checking
- computer programs
- intermediate level
- verification method
- program execution
- data abstraction
- automatic programming
- high level
- signature verification
- java bytecode
- databases
- data driven
- information technology
- control structures
- face recognition
- concurrent systems
- data mining
- neural network