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-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
Rewriting logicReal-time systemsActive networksFormal analysisMulticast protocolsObject-oriented specification
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
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
