Deductive Verification in Decidable Fragments with Ivy.
Kenneth L. McMillanOded PadonPublished in: SAS (2018)
Keyphrases
- model checking
- object oriented
- computation tree logic
- face verification
- linear time temporal logic
- explanation based learning
- formal verification
- learning algorithm
- datalog programs
- case study
- abductive inference
- verification method
- formal analysis
- first order logic
- website
- database
- asynchronous circuits
- information systems
- functional programs
- hypothesis formation
- data model
- databases