The Real-Time Maude Tool
No abstract available.
Related papers
- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude TACAS 2019
- Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude SLE 2008
- Bridging the semantic gap between qualitative and quantitative models of distributed systems OOPSLA 2022
- A Logical Theory of Concurrent Objects OOPSLA 1990
- Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems CAV 1998
- Rabbit: A Tool for BDD-Based Verification of Real-Time Systems CAV 2003
- Kronos: A Model-Checking Tool for Real-Time Systems CAV 1998
- RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems TACAS 2016