Login / Signup
Synthesising Interprocedural Bit-Precise Termination Proofs (extended version).
Hong-Yi Chen
Cristina David
Daniel Kroening
Peter Schrammel
Björn Wachter
Published in:
CoRR (2015)
Keyphrases
</>
theorem proving
formal proof
multi agent systems
evolutionary algorithm
multiresolution
term rewriting