Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9656026 | Electronic Notes in Theoretical Computer Science | 2005 | 30 Pages |
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Peter Csaba Ãlveczky, José Meseguer,