The Real-Time Maude tool

Peter Csaba Ölveczky; José Meseguer

doi:10.1007/978-3-540-78800-3_23

The Real-Time Maude tool

Peter Csaba Ölveczky, José Meseguer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Real-Time Maude is a rewriting-logic-based tool supporting the formal specification and analysis of real-time systems. Our tool emphasizes expressiveness and ease of specification over algorithmic decidability of key properties, and provides a spectrum of analysis methods, including symbolic simulation, and unbounded and time-bounded reachability analysis and LTL model checking. Real-Time Maude has proved well suited to analyze both correctness and performance of large and complex real-time systems, including state-of-the-art schedulers, network protocols, and wireless sensor network algorithms.

Original language	English (US)
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems - 14th Int. Conf., TACAS 2008 - Held as Part of the Joint European Conf. Theory and Practice of Software, ETAPS 2008 Proceedings
Pages	332-336
Number of pages	5
DOIs	https://doi.org/10.1007/978-3-540-78800-3_23
State	Published - 2008
Event	"14th International Conference onTools and Algorithms for the Construction and Analysis of Systems, TACAS2008" - Budapest, Hungary Duration: Mar 29 2008 → Apr 6 2008

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4963 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	"14th International Conference onTools and Algorithms for the Construction and Analysis of Systems, TACAS2008"
Country/Territory	Hungary
City	Budapest
Period	3/29/08 → 4/6/08

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Online availability

10.1007/978-3-540-78800-3_23

Library availability

Discover UIUC Full Text

Cite this

Ölveczky, P. C., & Meseguer, J. (2008). The Real-Time Maude tool. In Tools and Algorithms for the Construction and Analysis of Systems - 14th Int. Conf., TACAS 2008 - Held as Part of the Joint European Conf. Theory and Practice of Software, ETAPS 2008 Proceedings (pp. 332-336). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4963 LNCS). https://doi.org/10.1007/978-3-540-78800-3_23

The Real-Time Maude tool. / Ölveczky, Peter Csaba; Meseguer, José.
Tools and Algorithms for the Construction and Analysis of Systems - 14th Int. Conf., TACAS 2008 - Held as Part of the Joint European Conf. Theory and Practice of Software, ETAPS 2008 Proceedings. 2008. p. 332-336 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4963 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Ölveczky, PC & Meseguer, J 2008, The Real-Time Maude tool. in Tools and Algorithms for the Construction and Analysis of Systems - 14th Int. Conf., TACAS 2008 - Held as Part of the Joint European Conf. Theory and Practice of Software, ETAPS 2008 Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4963 LNCS, pp. 332-336, "14th International Conference onTools and Algorithms for the Construction and Analysis of Systems, TACAS2008", Budapest, Hungary, 3/29/08. https://doi.org/10.1007/978-3-540-78800-3_23

Ölveczky PC, Meseguer J. The Real-Time Maude tool. In Tools and Algorithms for the Construction and Analysis of Systems - 14th Int. Conf., TACAS 2008 - Held as Part of the Joint European Conf. Theory and Practice of Software, ETAPS 2008 Proceedings. 2008. p. 332-336. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-78800-3_23

Ölveczky, Peter Csaba ; Meseguer, José. / The Real-Time Maude tool. Tools and Algorithms for the Construction and Analysis of Systems - 14th Int. Conf., TACAS 2008 - Held as Part of the Joint European Conf. Theory and Practice of Software, ETAPS 2008 Proceedings. 2008. pp. 332-336 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{c49ea3f65f9d4d17b665d029bbed18ab,

title = "The Real-Time Maude tool",

abstract = "Real-Time Maude is a rewriting-logic-based tool supporting the formal specification and analysis of real-time systems. Our tool emphasizes expressiveness and ease of specification over algorithmic decidability of key properties, and provides a spectrum of analysis methods, including symbolic simulation, and unbounded and time-bounded reachability analysis and LTL model checking. Real-Time Maude has proved well suited to analyze both correctness and performance of large and complex real-time systems, including state-of-the-art schedulers, network protocols, and wireless sensor network algorithms.",

author = "{\"O}lveczky, {Peter Csaba} and Jos{\'e} Meseguer",

year = "2008",

doi = "10.1007/978-3-540-78800-3_23",

language = "English (US)",

isbn = "3540787992",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "332--336",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 14th Int. Conf., TACAS 2008 - Held as Part of the Joint European Conf. Theory and Practice of Software, ETAPS 2008 Proceedings",

note = "{"}14th International Conference onTools and Algorithms for the Construction and Analysis of Systems, TACAS2008{"} ; Conference date: 29-03-2008 Through 06-04-2008",

}

TY - GEN

T1 - The Real-Time Maude tool

AU - Ölveczky, Peter Csaba

AU - Meseguer, José

PY - 2008

Y1 - 2008

N2 - Real-Time Maude is a rewriting-logic-based tool supporting the formal specification and analysis of real-time systems. Our tool emphasizes expressiveness and ease of specification over algorithmic decidability of key properties, and provides a spectrum of analysis methods, including symbolic simulation, and unbounded and time-bounded reachability analysis and LTL model checking. Real-Time Maude has proved well suited to analyze both correctness and performance of large and complex real-time systems, including state-of-the-art schedulers, network protocols, and wireless sensor network algorithms.

AB - Real-Time Maude is a rewriting-logic-based tool supporting the formal specification and analysis of real-time systems. Our tool emphasizes expressiveness and ease of specification over algorithmic decidability of key properties, and provides a spectrum of analysis methods, including symbolic simulation, and unbounded and time-bounded reachability analysis and LTL model checking. Real-Time Maude has proved well suited to analyze both correctness and performance of large and complex real-time systems, including state-of-the-art schedulers, network protocols, and wireless sensor network algorithms.

UR - http://www.scopus.com/inward/record.url?scp=47249094158&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=47249094158&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-78800-3_23

DO - 10.1007/978-3-540-78800-3_23

M3 - Conference contribution

AN - SCOPUS:47249094158

SN - 3540787992

SN - 9783540787990

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 332

EP - 336

BT - Tools and Algorithms for the Construction and Analysis of Systems - 14th Int. Conf., TACAS 2008 - Held as Part of the Joint European Conf. Theory and Practice of Software, ETAPS 2008 Proceedings

T2 - "14th International Conference onTools and Algorithms for the Construction and Analysis of Systems, TACAS2008"

Y2 - 29 March 2008 through 6 April 2008

ER -

The Real-Time Maude tool

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this