Principles for Verification Tools: Separation Logic.
Brijesh DongolVictor B. F. GomesGeorg StruthPublished in: CoRR (2014)
Keyphrases
- asynchronous circuits
- formal methods
- model checking
- verification method
- software tools
- bounded model checking
- user friendly
- design principles
- predicate logic
- computational properties
- face verification
- linear time temporal logic
- model checker
- logical framework
- multi valued
- databases
- modal logic
- logic programming
- bayesian networks
- case study
- data mining