Login / Signup
Bounded Model Checking of Recursive Programs with Pointers in K.
Irina Mariuca Asavoae
Frank S. de Boer
Marcello M. Bonsangue
Dorel Lucanu
Jurriaan Rot
Published in:
WADT (2012)
Keyphrases
</>
bounded model checking
recursive programs
program synthesis
logic programs
model checking
transformation rules
formal verification
temporal logic
linear temporal logic
multi agent systems
case study
logic programming
software engineering
software development