Student projects in reactive and real-time systems course

Presents student assignments and the experience gained in a graduate course entitled “Reactive and real-time systems”, taught at Tel-Aviv University. The course focuses on the development of provably correct reactive and real-time systems. Hence, the major projects that were given included the full life-cycle of a system development: specification, design, implementation and verification. The software tools employed in the course are freely available from various Internet sites. Students had the freedom to choose the tools they used, and indeed many of them chose more than one tool to supply a system that was automatically verified against its requirements