Specification and analysis of the AER/NCA active network protocol suite in real-time Maude

DOI10.1007/S10703-006-0015-0zbMath1109.68010OpenAlexW1979754763MaRDI QIDQ862853

Peter Csaba Ölveczky, Carolyn L. Talcott, José Meseguer

Publication date: 24 January 2007

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2142/10892

zbMATH Keywords

Rewriting logicReal-time systemsActive networksFormal analysisMulticast protocolsObject-oriented specification

Mathematics Subject Classification ID

Network protocols (68M12)

Related Items (9)

Probabilistic Real-Time Rewrite Theories and Their Expressive Power ⋮ Joshua Guttman: pioneering strand spaces ⋮ Specification and analysis of the AER/NCA active network protocol suite in real-time Maude ⋮ Semantics and pragmatics of real-time maude ⋮ Twenty years of rewriting logic ⋮ Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude ⋮ Formal Analysis of Leader Election in MANETs Using Real-Time Maude ⋮ Recent Advances in Real-Time Maude ⋮ Abstraction and Completeness for Real-Time Maude

Uses Software

• Unnamed Item
• IF-2.0
• PVS
• HyTech
• Uppaal
• Maude
• PMaude

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• Conditional rewriting logic as a unified model of concurrency
• Maude: specification and programming in rewriting logic
• Specification of real-time and hybrid systems in rewriting logic
• Equational rules for rewriting logic
• HyTech: A model checker for hybrid systems
• Kronos: A verification tool for real-time systems
• Abstraction and Completeness for Real-Time Maude
• Formal Methods for the Design of Real-Time Systems
• Formal Methods for the Design of Real-Time Systems
• Computer Aided Verification
• Formal Methods for Open Object-Based Distributed Systems

This page was built for publication: Specification and analysis of the AER/NCA active network protocol suite in real-time Maude