State/Event-Based Software Model Checking.

Sagar Chaki, Edmund M. Clarke, Jol Ouaknine, Natasha Sharygina, Nishant Sinha

Browse the full IFM paper archive.