An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking.

Rotem Oshman

Browse the full VMCAI paper archive.