Program specialization and verification using file format specifications.
Raveendra Kumar MedicherlaRaghavan KomondoorS. NarendranPublished in: ICSME (2015)
Keyphrases
- file formats
- symbolic execution
- automated verification
- model checking
- specification language
- concurrent systems
- control flow
- bounded model checking
- formal verification
- model checker
- execution traces
- hardware designs
- formal specification
- asynchronous circuits
- interchange format
- recursive programs
- programming environment
- formal methods
- data sets
- database
- functional verification
- program execution
- database systems
- databases
- real time