A modular framework for verifying versatile distributed systems

Putting independent components together is a common design practice of distributed systems. Besides, there exists a wide range of interaction protocols that dictate how these components interact, which impacts their compatibility. However, the communication model itself always consists in a monolith...

Full description

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 108; pp. 24 - 46
Main Authors Chevrou, Florent, Hurault, Aurélie, Quéinnec, Philippe
Format Journal Article
LanguageEnglish
Published Elsevier 01.11.2019
Subjects
Computer Science
Embedded Systems
Software Engineering
Multicast
Asynchronous communication
Compatibility checking
Distributed systems
TLA+
Online AccessGet full text

Cover

Be the first to leave a comment!
You must be logged in first