Modeling and analyzing mobile ad hoc networks in Real-Time Maude
From MaRDI portal
Publication:730472
DOI10.1016/j.jlamp.2015.05.002zbMath1356.68123OpenAlexW2194648763MaRDI QIDQ730472
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
Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Network protocols (68M12)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A calculus of trustworthy ad hoc networks
- A timed calculus for wireless systems
- A framework for security analysis of mobile wireless networks
- Semantics and pragmatics of real-time maude
- A process calculus for mobile ad hoc networks
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- An observational theory for mobile ad hoc networks (full version)
- Conditional rewriting logic as a unified model of concurrency
- Specification of real-time and hybrid systems in rewriting logic
- Semantic foundations for generalized rewrite theories
- Broadcast Abstraction in a Stochastic Calculus for Mobile Networks
- A Framework for Mobile Ad hoc Networks in Real-Time Maude
- Rewriting Modulo SMT and Open System Analysis
- Model Checking MANETs with Arbitrary Mobility
- Formal verification of standards for distance vector routing protocols
- A Calculus for Mobile Ad Hoc Networks
- Formal Analysis of Leader Election in MANETs Using Real-Time Maude
- Computer Aided Verification
This page was built for publication: Modeling and analyzing mobile ad hoc networks in Real-Time Maude