Recent Advances in Real-Time Maude

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

zbMATH Keywords

completenessreal-time systemswireless sensor networksformal analysisrewriting logicMaudeobject-oriented specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Uses Software

• IF-2.0
• HyTech
• Uppaal
• Maude
• PMaude

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