Real-Time Maude 2.1
Peter Csaba Ölveczky, José Meseguer · Electronic Notes in Theoretical Computer Science · 2005
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.