Recent Advances in Real-Time Maude
From MaRDI portal
Publication:2864519
DOI10.1016/j.entcs.2006.10.020zbMath1277.68144OpenAlexW1998237330MaRDI QIDQ2864519
Peter Csaba Ölveczky, José Meseguer
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.10.020
completenessreal-time systemswireless sensor networksformal analysisrewriting logicMaudeobject-oriented specification
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
- Semantics and pragmatics of real-time maude
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- A theory of timed automata
- Maude: specification and programming in rewriting logic
- Specification of real-time and hybrid systems in rewriting logic
- HyTech: A model checker for hybrid systems
- Uppaal in a nutshell
- Abstraction and Completeness for Real-Time Maude
- Formal Methods for the Design of Real-Time Systems
This page was built for publication: Recent Advances in Real-Time Maude