Formal Analysis of Leader Election in MANETs Using Real-Time Maude

DOI10.1007/978-3-319-15545-6_16zbMath1454.68014OpenAlexW1009973696MaRDI QIDQ5256351

Si Liu, Peter Csaba Ölveczky, José Meseguer

Publication date: 22 June 2015

Published in: Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-15545-6_16

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Distributed systems (68M14) Network protocols (68M12)

Related Items

Modeling and analyzing mobile ad hoc networks in Real-Time Maude ⋮ Formal Analysis of Leader Election in MANETs Using Real-Time Maude

Uses Software

• Maude
• PMaude

Cites Work

• A calculus of trustworthy ad hoc networks
• A timed calculus for wireless systems
• Modeling and analyzing mobile ad hoc networks in Real-Time Maude
• Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
• 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
• A theory of timed automata
• Timed rewriting logic with an application to object-based specification
• Specification of real-time and hybrid systems in rewriting logic
• Specification and proof in membership equational logic
• Abstraction and Completeness for Real-Time Maude
• 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