Login / Signup
Handling loops in bounded model checking of C programs via k-induction.
Mikhail Y. R. Gadelha
Hussama Ibrahim Ismail
Lucas C. Cordeiro
Published in:
Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
</>
bounded model checking
model checking
formal verification
temporal logic
functional programs
linear temporal logic
program synthesis
inductive learning
rule induction
learning algorithm
domain specific
multi agent systems
general purpose
inductive inference