A Forward-Backward Abstraction Refinement Algorithm.

Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo

Browse the full VMCAI paper archive.