Compositional Safety Refutation Techniques.

Kumar Madhukar Peter Schrammel Mandayam K. Srivas

Published in: ATVA (2017)

Keyphrases

inductive inference
theorem prover
theorem proving
multimedia
multiscale
classical logic
real time
data mining
image processing
data structure
expert systems
first order logic
safety critical