Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
type: Item
instance of: scholarly article
title: Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
zbMATH Open document ID: 1109.68010
author: Peter Csaba Ölveczky
author: Carolyn Talcott
author: José Meseguer
published in: Formal Methods in System Design
publication date: 2007-01-24T00:00:00Z
full work available at URL: http://hdl.handle.net/2142/10892
Mathematics Subject Classification ID: 68M12
zbMATH DE Number: 5118396
zbMATH Keywords: Formal analysis
zbMATH Keywords: Real-time systems
zbMATH Keywords: Object-oriented specification
zbMATH Keywords: Rewriting logic
zbMATH Keywords: Active networks
zbMATH Keywords: Multicast protocols
describes a project that uses: Maude
describes a project that uses: Kronos
describes a project that uses: PVS
describes a project that uses: PMaude
describes a project that uses: IF-2.0
describes a project that uses: HyTech
describes a project that uses: Uppaal
MaRDI profile type: Publication
OpenAlex ID: W1979754763
cites work: Formal Methods for the Design of Real-Time Systems
cites work: Maude: specification and programming in rewriting logic
cites work: The Maude LTL model checker
cites work: HyTech: A model checker for hybrid systems
cites work: Q3935355
cites work: Formal Methods for Open Object-Based Distributed Systems
cites work: Q3046721
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Q3839051
cites work: Q4762648
cites work: Q2764137
cites work: Specification of real-time and hybrid systems in rewriting logic
cites work: Abstraction and completeness for real-time Maude
cites work: Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
cites work: Computer Aided Verification
cites work: Equational rules for rewriting logic
cites work: Kronos: A verification tool for real-time systems
DOI: 10.1007/S10703-006-0015-0
description: scientific article; zbMATH DE number 5118396