Cover Image

Formal Methods for Mobile Ad Hoc Networks: A Survey

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fokkink, Wan, van Glabbeek, Rob
Format:	Preprint
Published:	2025
Subjects:	Networking and Internet Architecture Logic in Computer Science C.2.2; D.2.4; F.3.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication
by: Metere, Roberto, et al.
Published: (2026)

Dormancy-aware timed branching bisimilarity, with an application to communication protocol analysis
by: Middelburg, C. A.
Published: (2021)

Space-time process algebra with asynchronous communication
by: Bergstra, J. A., et al.
Published: (2024)

Constrained LTL Specification Learning from Examples
by: Zhang, Changjian, et al.
Published: (2024)

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
by: Reinhard, Tobias
Published: (2024)

DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice
by: Cheval, Vincent, et al.
Published: (2022)

Automatic verification of Finite Variant Property beyond convergent equational theories
by: Cheval, Vincent, et al.
Published: (2024)

Solving the Problem of Poor Internet Connectivity in Dhaka: Innovative Solutions Using Advanced WebRTC and Adaptive Streaming Technologies
by: Malinovskiy, Pavel
Published: (2025)

Tracing Data Packet Paths over the Internet using Traceroute
by: Dreibholz, Thomas, et al.
Published: (2026)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
by: Zhang, Xindi, et al.
Published: (2025)

Verification of E-Voting Algorithms in Dafny
by: Büttner, Robert, et al.
Published: (2025)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version)
by: Sextl, Florian, et al.
Published: (2023)

SMT-based Symbolic Model-Checking for Operator Precedence Languages
by: Chiari, Michele, et al.
Published: (2024)

Sound and Complete Invariant-Based Heap Encodings (Technical Report)
by: Esen, Zafer, et al.
Published: (2025)

Automatic Function Annotations for Hoare Logic
by: Matichuk, Danielle
Published: (2012)

Verified VCG and Verified Compiler for Dafny
by: Nezamabadi, Daniel, et al.
Published: (2025)

Traffic-Aware Configuration of OPC UA PubSub in Industrial Automation Networks
by: Ekrad, Kasra, et al.
Published: (2026)

Pricing for Routing and Flow-Control in Payment Channel Networks
by: Sankagiri, Suryanarayana, et al.
Published: (2025)

Complementing an imperative process algebra with a rely/guarantee logic
by: Middelburg, C. A.
Published: (2025)

Probabilistic imperative process algebra
by: Middelburg, C. A.
Published: (2026)

HpC: A Calculus for Hybrid and Mobile Systems -- Full Version
by: Xu, Xiong, et al.
Published: (2025)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
by: Waldinger, Richard
Published: (2025)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
by: Prebet, Enguerrand, et al.
Published: (2026)

Uniform Substitution for Differential Refinement Logic
by: Prebet, Enguerrand, et al.
Published: (2024)

3GPP NR V2X Mode 2d: Analysis of Distributed Scheduling for Groupcast using ns-3 5G LENA Simulator
by: Fehrenbach, Thomas, et al.
Published: (2025)

Converting BPMN Diagrams to Privacy Calculus
by: Pitsiladis, Georgios V., et al.
Published: (2024)

A Formal Model for Path Set Attribute Calculation in Network Systems
by: Fiaschi, Giovanni, et al.
Published: (2025)

From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
by: Hellwig, Jonathan, et al.
Published: (2025)

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
by: Jilissen, Kevin H. J., et al.
Published: (2024)

Bandwidth Efficient Livestreaming in Mobile Wireless Networks: A Peer-to-Peer ACIDE Solution
by: Negulescu, Andrei, et al.
Published: (2023)

Mechanizing Operads with Event-B
by: Attiogbé, Christian
Published: (2025)

Orchestrating Data Collection and Computation in Green IoT Networks
by: Zhan, Junfei, et al.
Published: (2026)

A Survey of Protocol Fuzzing
by: Zhang, Xiaohan, et al.
Published: (2024)

Active Admission Control in a P2P Distributed Environment for Capacity Efficient Livestreaming in Mobile Wireless Networks
by: Negulescu, Andrei, et al.
Published: (2023)

Dismantling Common Internet Services for Ad-Malware Detection
by: Nettersheim, Florian, et al.
Published: (2024)

NetCAS: Dynamic Cache and Backend Device Management in Networked Environments
by: Hwang, Joon Yong, et al.
Published: (2025)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
by: Frenkel, Eden, et al.
Published: (2026)

Quantifying Confidence in Assurance 2.0 Arguments
by: Bloomfield, Robin, et al.
Published: (2026)

A New Interaction Concept for Interactive and Autoactive Program Verification
by: Pfeifer, Wolfram, et al.
Published: (2026)

Model Checking Probabilistic Operator Precedence Automata
by: Pontiggia, Francesco, et al.
Published: (2024)