A modular framework for verifying versatile distributed systems

DOI10.1016/j.jlamp.2019.05.008zbMath1435.68191OpenAlexW2961180912WikidataQ127589294 ScholiaQ127589294MaRDI QIDQ2011199

Aurélie Hurault, Florent Chevrou, Philippe Quéinnec

Publication date: 28 November 2019

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

Full work available at URL: https://oatao.univ-toulouse.fr/24923/1/chevrou_24923.pdf

zbMATH Keywords

distributed systemsmulticastasynchronous communicationcompatibility checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Related Items (2)

Preface to the special issue on formal approaches to parallel and distributed systems 2018 ⋮ A modular framework for verifying versatile distributed systems

Uses Software

• SPIN
• PlusCal
• PSync
• Verdi
• Horus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the diversity of asynchronous communication
• A generic framework for \(n\)-protocol compatibility checking
• A hierarchy of communication models for message sequence charts
• Priorities in process algebras
• CCS with priority choice
• A modular framework for verifying versatile distributed systems
• The Heard-Of model: computing in distributed systems with benign faults
• PSync: a partially synchronous language for fault-tolerant distributed algorithms
• Deciding choreography realizability
• Distributed network protocols
• The PlusCal Algorithm Language
• On Communicating Finite-State Machines
• Time, clocks, and the ordering of events in a distributed system
• Occam—A programming language for multiprocessor systems
• Introduction to Distributed Algorithms
• Synchronous, asynchronous, and causally ordered communication
• Active and Concurrent Topology Maintenance
• Distributed Computing

This page was built for publication: A modular framework for verifying versatile distributed systems