Certifying Safety and Termination Proofs for Integer Transition Systems.

Marc Brockschmidt Sebastiaan J. C. Joosten René Thiemann Akihisa Yamada

Published in: CADE (2017)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
theorem prover
distributed systems
model checker
markov chain
formal specification
learning algorithm
knowledge base
formal semantics