Modeling and analyzing mobile ad hoc networks in Real-Time Maude

DOI10.1016/J.JLAMP.2015.05.002MaRDI QIDQ730472zbMATH OpenOpenAlexFDO

Authors Si Liu, Peter Csaba Ölveczky, José Meseguer

Publication date 28 December 2016

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2015.05.002

zbMATH Keywords

model checkingmobile ad hoc networksformal specificationReal-Time Maude

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Network design and communication in computer systems (68M10) Network protocols (68M12)

Recommendations

• A framework for mobile ad hoc networks in Real-Time Maude
• Formal analysis of leader election in MANETs using Real-Time Maude
• Modeling and efficient verification of wireless ad hoc networks
• Model checking mobile ad hoc networks
• Modeling Routing Protocols in Adhoc Networks

Cites work

• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• A Calculus for Mobile Ad Hoc Networks
• A calculus of trustworthy ad hoc networks
• A framework for mobile ad hoc networks in Real-Time Maude
• A framework for security analysis of mobile wireless networks
• A process calculus for mobile ad hoc networks
• A timed calculus for wireless systems
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• An observational theory for mobile ad hoc networks (full version)
• Broadcast Abstraction in a Stochastic Calculus for Mobile Networks
• Computer Aided Verification
• Conditional rewriting logic as a unified model of concurrency
• Formal analysis of leader election in MANETs using Real-Time Maude
• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• Formal verification of standards for distance vector routing protocols
• Model checking MANETs with arbitrary mobility
• Rewriting modulo SMT and open system analysis
• Semantic foundations for generalized rewrite theories
• Semantics and pragmatics of real-time maude
• Specification of real-time and hybrid systems in rewriting logic
• Towards a calculus for wireless systems

Cited in

(9)

• 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
• A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
• A framework for mobile ad hoc networks in Real-Time Maude
• Model checking MANETs with arbitrary mobility
• Formal analysis of leader election in MANETs using Real-Time Maude
• A New Analytical Model and Protocol for Mobile Ad-Hoc Networks Based on Time Varying Behavior of Nodes
• Modeling and efficient verification of wireless ad hoc networks
• An Observational Theory for Mobile Ad Hoc Networks

Describes a project that uses

Uses Software

• PVeStA
• PMaude
• Maude
• HOL/SPIN

This page was built for publication: Modeling and analyzing mobile ad hoc networks in Real-Time Maude

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