Flick Club LogoFlick Club Logo

Modeling, verification, and exploration of task-level concurrency in real-time embedded systems