Generating Inductive Shape Predicates for Runtime Checking and Formal Verification.
Jan H. BoockmannGerald LüttgenJan Tobias MühlbergPublished in: ISoLA (2) (2018)
Keyphrases
- formal verification
- model checking
- bounded model checking
- model checker
- automated verification
- shape descriptors
- symbolic model checking
- shape model
- shape representation
- inductive learning
- shape features
- program slicing
- shape prior
- inductive logic programming
- datalog programs
- multiscale
- shape analysis
- knowledge acquisition