Rabbit: A Tool for BDD-Based Verification of Real-Time Systems.

Dirk Beyer, Claus Lewerentz, Andreas Noack

Browse the full CAV paper archive.