State/Event Software Verification for Branching-Time Specifications.

Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Jol Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith

Browse the full IFM paper archive.