Certification of Nontermination Proofs Using Strategies and Nonlooping Derivations.

Julian Nagele René Thiemann Sarah Winkler

Published in: VSTTE (2014)

Keyphrases

third party
database
real time
real world
theorem proving
machine learning
decision making
metadata
website
case study
evolutionary algorithm
hidden markov models
inference rules
theorem prover