Teaching Tools
Teaching tools are intended to help our students with a better understanding of the lecture material and with the preparation of their exams.
- Teaching Tools Web Page
- The code is contained in Averest
Averest
Averest is a framework for the model-based design of reactive systems that supports the specification, verification, and implementation. It contains a simulator, support for formal verification with temporal logics, and various transformations for hardware and software synthesis of embedded reactive systems or pure hardware circuits.