CTO
CLiki for the TUNES project
Home
About CLiki
Text Formatting
Real-Time Maude
A
programming language
and tool, based on
Maude
, supporting the formal specification and analysis of
real-time
and hybrid systems, with an execution environment for a real-time extension of the
Actor
model.
The Real-Time Maude Tool
.
Peter Csaba Ölveczky
.