Structured Specifications for Better Verification of Heap-Manipulating Programs.
Cristian GherghinaCristina DavidShengchao QinWei-Ngan ChinPublished in: FM (2011)
Keyphrases
- automated verification
- model checking
- concurrent systems
- formal verification
- symbolic execution
- bounded model checking
- recursive programs
- control flow
- data structure
- specification language
- formal specification
- model checker
- structured data
- asynchronous circuits
- finite state machines
- verification method
- case study
- automatic programming
- real world
- formal methods
- temporal logic
- hardware designs
- delay insensitive
- fixpoint
- high level
- programming language
- protocol specification
- functional verification
- real time
- website
- web services
- face recognition
- natural language
- program execution
- structured learning
- face verification
- test generation
- operational semantics
- signature verification
- functional requirements