MOTOR

swMATH2988MaRDI QIDQ15524FDOQ15524

Author name not available (Why is that?)

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