On-the-Fly Model Checking of RCTL Formulas.

Ilan Beer, Shoham Ben-David, Avner Landver

Browse the full CAV paper archive.