Safety Verification and Refutation by k-Invariants and k-Induction.
Martin BrainSaurabh JoshiDaniel KroeningPeter SchrammelPublished in: SAS (2015)
Keyphrases
- inductive inference
- safety analysis
- model checking
- inductive learning
- theorem proving
- theorem prover
- machine learning
- automated theorem proving
- moment invariants
- face verification
- quasi invariant
- nuclear power plant
- constructive induction
- formal verification
- data mining
- color images
- invariant features
- concept learning
- inductive logic programming
- projective reconstruction
- asynchronous circuits
- rough sets
- multiscale
- geometric invariants
- road safety
- functional programs
- artificial intelligence
- imperative programs