Verification of SpecC using predicate abstraction.
Edmund M. ClarkeHimanshu JainDaniel KroeningPublished in: Formal Methods Syst. Des. (2007)
Keyphrases
- hardware designs
- model checking
- bounded model checking
- high level
- first order logic
- formal verification
- face verification
- concurrent systems
- data mining
- high level abstractions
- handwritten signature verification
- verification method
- asynchronous circuits
- person identification
- data structure
- information systems
- artificial intelligence