Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
type: Item
instance of: scholarly article
title: Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
zbMATH Open document ID: 1178.68699
author: Peter Csaba Ölveczky
author: Stian Thorvaldsen
published in: Theoretical Computer Science
publication date: 2009-03-02T00:00:00Z
Mathematics Subject Classification ID: 68W40
Mathematics Subject Classification ID: 68M10
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 5522092
zbMATH Keywords: formal modeling
zbMATH Keywords: simulation
zbMATH Keywords: model checking
zbMATH Keywords: wireless sensor networks
zbMATH Keywords: performance estimation
zbMATH Keywords: real-time systems
zbMATH Keywords: rewriting logic
describes a project that uses: PMaude
describes a project that uses: VESTA
describes a project that uses: GloMoSim
describes a project that uses: Kronos
describes a project that uses: IF-2.0
describes a project that uses: Uppaal
describes a project that uses: APMC
describes a project that uses: Maude
describes a project that uses: ns-2
MaRDI profile type: Publication
full work available at URL: j.tcs.2008.09.022
OpenAlex ID: W2042601303
cites work: Formal Methods for the Design of Real-Time Systems
cites work: Semantic foundations for generalized rewrite theories
cites work: Evaluating Complex MAC Protocols for Sensor Networks with APMC
cites work: All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
cites work: Integrated formal methods. 6th international conference, IFM 2007, Oxford, UK, July 2--5, 2007. Proceedings.
cites work: Q3935355
cites work: Formal Methods for Open Object-Based Distributed Systems
cites work: An attack on the Needham-Schroeder public-key authentication protocol
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Q3839051
cites work: Specification of real-time and hybrid systems in rewriting logic
cites work: Abstraction and completeness for real-time Maude
cites work: Semantics and pragmatics of real-time maude
cites work: Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
cites work: Equational rules for rewriting logic
cites work: Kronos: A verification tool for real-time systems
DOI: 10.1016/J.TCS.2008.09.022
Recommended article: Modeling and analyzing mobile ad hoc networks in Real-Time Maude
Recommended article: Automated Generation of Performance and Dependability Models for the Assessment of Wireless Sensor Networks
Recommended article: Modeling and efficient verification of wireless ad hoc networks
description: scientific article; zbMATH DE number 5522092