Automated Verification of Recursive Programs with Pointers.

Frank S. de Boer Marcello M. Bonsangue Jurriaan Rot

Published in: IJCAR (2012)

Keyphrases

automated verification
recursive programs
program synthesis
model checking
logic programs
transformation rules
automated reasoning
formal verification
graph theory
logic programming
database
case study
probabilistic reasoning