DREAM Tool

MaRDI QIDQ17841swMATHFDO

Official website http://dre.sourceforge.net/

Cited in

(9)

• A survey of timed automata for the development of real-time systems
• Uppaal2k
• IF-2.0
• HPCC
• Verifying distributed real-time properties of embedded systems via graph transformations and model checking
• McAiT
• CoVer
• Tempo
• REDLIB

This page was built for software: DREAM Tool