DREAM

Distributed Real-time Embedded Analysis Method - DREAM

Open-source formal verification and analysis

Distributed Real-time Embedded Analysis Method - DREAM - class reference.

0.7 beta version

Coding conventions

There are a few coding conventions which you should follow when working on this project: