Modeling and analyzing mobile ad hoc networks in Real-Time Maude
DOI10.1016/J.JLAMP.2015.05.002zbMATH Open1356.68123OpenAlexW2194648763MaRDI QIDQ730472FDOQ730472
Si Liu, José Meseguer, Peter Csaba Ölveczky
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
Recommendations
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)
Cites Work
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Specification of real-time and hybrid systems in rewriting logic
- An observational theory for mobile ad hoc networks (full version)
- Towards a calculus for wireless systems
- A Calculus for Mobile Ad Hoc Networks
- A framework for security analysis of mobile wireless networks
- A process calculus for mobile ad hoc networks
- Formal verification of standards for distance vector routing protocols
- Conditional rewriting logic as a unified model of concurrency
- Semantic foundations for generalized rewrite theories
- Rewriting Modulo SMT and Open System Analysis
- Title not available (Why is that?)
- Semantics and pragmatics of real-time maude
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- A calculus of trustworthy ad hoc networks
- Computer Aided Verification
- A timed calculus for wireless systems
- Broadcast Abstraction in a Stochastic Calculus for Mobile Networks
- 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
Cited In (5)
- 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
- A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
- A New Analytical Model and Protocol for Mobile Ad-Hoc Networks Based on Time Varying Behavior of Nodes
- An Observational Theory for Mobile Ad Hoc Networks
Uses Software
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)
