Real-Time Maude 2.1

Authors:
Peter Csaba Ölveczky;José Meseguer
Affiliations:
Department of Computer Science, University of Illinois at Urbana-Champaign and Department of Informatics, University of Oslo;Department of Informatics, University of Oslo
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 6
Cited 6

A theory of timed automata

Theoretical Computer Science
Model checking

Model checking
Specification of real-time and hybrid systems in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Membership algebra as a logical framework for equational specification

WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Logics and Models of Real Time: A Survey

Proceedings of the Real-Time: Theory in Practice, REX Workshop

Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude

Formal Methods in System Design
Real-time rewriting semantics of orc

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Abstraction and Completeness for Real-Time Maude

Electronic Notes in Theoretical Computer Science (ENTCS)
On Modelling Sensor Networks in Maude

Electronic Notes in Theoretical Computer Science (ENTCS)
A rewriting logic approach to operational semantics

Information and Computation
Formal simulation and analysis of the CASH scheduling algorithm in real-time maude

FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Real-Time Maude 2.1 is an extension of Full Maude 2.1 supporting the formal specification and analysis of real-time and hybrid systems. Symbolic simulation, search and model checking analysis are supported for a wide range of systems. This paper gives an overview of the tool and documents its semantic foundations.