Parameterized verification of open procedural programs.
Aleksandar S. DimovskiPublished in: BCI (2012)
Keyphrases
- symbolic execution
- hardware designs
- model checking
- decision trees
- verification method
- automatic programming
- computer programs
- signature verification
- object oriented
- real world
- answer sets
- database
- fixpoint
- control flow
- query language
- conceptual knowledge
- information technology
- database systems
- case study
- concurrent systems