Semantics and pragmatics of real-time maude
type: Item
instance of: scholarly article
title: Semantics and pragmatics of real-time maude
zbMATH Open document ID: 1115.68095
author: Peter Csaba Ölveczky
author: José Meseguer
published in: Higher-Order and Symbolic Computation
publication date: 2007-05-21T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5155275
zbMATH Keywords: Rewriting logic
zbMATH Keywords: Real-time systems
zbMATH Keywords: Object-oriented specification
zbMATH Keywords: Formal analysis
zbMATH Keywords: Simulation
zbMATH Keywords: Model checking
describes a project that uses: Kronos
describes a project that uses: Maude
describes a project that uses: IF-2.0
describes a project that uses: SPIN
describes a project that uses: HyTech
describes a project that uses: Uppaal
MaRDI profile type: Publication
full work available at URL: s10990-007-9001-5
OpenAlex ID: W2006340882
cites work: The algorithmic analysis of hybrid systems
cites work: A theory of timed automata
cites work: Formal Methods for the Design of Real-Time Systems
cites work: Maude: specification and programming in rewriting logic
cites work: Reflection in conditional rewriting logic
cites work: The Maude LTL model checker
cites work: HyTech: A model checker for hybrid systems
cites work: What's decidable about hybrid automata?
cites work: Uppaal in a nutshell
cites work: Models for reactivity
cites work: Q3839051
cites work: Q2764137
cites work: Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
cites work: Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems
cites work: Specification of real-time and hybrid systems in rewriting logic
cites work: Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
cites work: Equational rules for rewriting logic
cites work: Kronos: A verification tool for real-time systems
DOI: 10.1007/S10990-007-9001-5
description: scientific article; zbMATH DE number 5155275