A Program Construction and Verification Tool for Separation Logic.
Brijesh DongolVictor B. F. GomesGeorg StruthPublished in: MPC (2015)
Keyphrases
- asynchronous circuits
- computer programs
- symbolic execution
- verification method
- model checking
- case study
- search based software testing
- hardware designs
- bounded model checking
- program understanding
- programming environment
- logic programming
- software engineering
- construction process
- program synthesis
- declarative semantics
- automated reasoning
- static analysis
- software tools
- logical representation
- data sets