Forward Invariant Cuts to Simplify Proofs of Safety.

Nikos Aréchiga James Kapinski Jyotirmoy V. Deshmukh André Platzer Bruce H. Krogh

Published in: CoRR (2015)

Keyphrases

theorem prover
theorem proving
bi directional
data mining
invariant representations
affine transformation
affine invariant
forward and backward
invariant properties
formal proofs
database
road safety
safety analysis
nuclear power plant
natural deduction
safety critical
similarity measure
search engine
neural network