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

Dirk Beyer Claus Lewerentz Andreas Noack

Published in: CAV (2003)

Keyphrases

real time systems
object oriented programming language
real time
architectural model
embedded systems
distributed systems
real time database systems
mission critical
timing constraints
real time embedded
low cost
artificial intelligence
case study
cooperative
computational intelligence
embedded real time systems