A BDD-Based Model Checker for Recursive Programs.

Javier Esparza, Stefan Schwoon

Browse the full CAV paper archive.