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

DOI10.1007/S10703-006-0015-0zbMATH Open1109.68010OpenAlexW1979754763MaRDI QIDQ862853FDOQ862853

Authors: Peter Csaba Ölveczky, Carolyn 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

Recommendations

• scientific article; zbMATH DE number 1693530
• Recent advances in real-time Maude
• Semantics and pragmatics of real-time maude
• Case studies in the specification and analysis of protocols in Maude
• Modeling and analyzing mobile ad hoc networks in Real-Time Maude

zbMATH Keywords

Real-time systemsActive networksFormal analysisMulticast protocolsObject-oriented specificationRewriting logic

Mathematics Subject Classification ID

Network protocols (68M12)

Cites Work

• Maude: specification and programming in rewriting logic
• HyTech: A model checker for hybrid systems
• Kronos: A verification tool for real-time systems
• Formal Methods for the Design of Real-Time Systems
• Formal Methods for the Design of Real-Time Systems
• Title not available (Why is that?)
• Specification of real-time and hybrid systems in rewriting logic
• Conditional rewriting logic as a unified model of concurrency
• Equational rules for rewriting logic
• The Maude LTL model checker
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• Computer Aided Verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abstraction and completeness for real-time Maude
• A rewriting based model for probabilistic distributed object systems.
• Specification and analysis of the AER/NCA active network protocol suite in real-time Maude

Cited In (14)

• Twenty years of rewriting logic
• Semantics and pragmatics of real-time maude
• Title not available (Why is that?)
• Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
• Probabilistic real-time rewrite theories and their expressive power
• Case studies in the specification and analysis of protocols in Maude
• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• Joshua Guttman: pioneering strand spaces
• A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
• Specifying and Analyzing the Kademlia Protocol in Maude
• Formal analysis of leader election in MANETs using Real-Time Maude
• Abstraction and completeness for real-time Maude
• Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving
• Recent advances in real-time Maude

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q862853)