Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
From MaRDI portal
Publication:862853
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
Real-time systemsActive networksFormal analysisMulticast protocolsObject-oriented specificationRewriting logic
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
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)