AMC: An Adaptive Model Checker.

Alex Groce, Doron A. Peled, Mihalis Yannakakis

Browse the full CAV paper archive.