The priced-timed Maude tool

Authors:
Leon Bendiksen;Peter Csaba Ölveczky
Affiliations:
Department of Informatics, University of Oslo;Department of Informatics, University of Oslo
Venue:
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Year:
2009

Citing 7
Cited 0

Semantics and pragmatics of Real-Time Maude

Higher-Order and Symbolic Computation
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude

Theoretical Computer Science
Model-checking one-clock priced timed automata

FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
The real-time Maude tool

TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic

All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Priced timed automata: algorithms and applications

FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
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

Priced-Timed Maude is a new rewriting-logic-based tool that extends Real-Time Maude to support the formal specification and analysis of systems in which the cost of performing actions and of idling plays a significant role. Our tool emphasizes expressiveness and ease of specification, and is particularly suitable for modeling distributed priced systems in an object-oriented style.