56 search results - page 4 / 12 » The Priced-Timed Maude Tool |
ENTCS
2006
14 years 11 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
44
Voted
ENTCS
2008
14 years 11 months ago
2008
ENTCS
2007
14 years 11 months ago
2007
JOT
2007
14 years 11 months ago
2007
158
click to vote
FASE
2004
Springer
15 years 3 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...