MOTOR

MaRDI QIDQ15524swMATHFDO

Official website http://fmt.cs.utwente.nl/tools/motor/

Described by source

• Formal Methods for the Design of Real-Time Systems

Cited in

(8)

• Formal Modeling and Analysis of Timed Systems
• Dynamic and formal verification of embedded systems: A comparative survey
• A compositional translation of timed automata with deadlines to Uppaal timed automata
• MoDeST
• SHARPE
• IF-2.0
• UPPAAL CORA
• Model-checking timed automata with deadlines with Uppaal

This page was built for software: MOTOR