Login / Signup
Automated verification of termination certificates
Frédéric Blanqui
Kim Quyen Ly
Published in:
CoRR (2012)
Keyphrases
</>
automated verification
model checking
automated reasoning
formal verification
term rewriting
rewrite systems
access control
theorem proving
temporal logic
active rules
graph theory
theorem prover
public key
real time
termination analysis
knowledge representation
expert systems
real world
databases