Interaction-based offline runtime verification of distributed systems

DOI10.1007/978-3-031-42441-0_7MaRDI QIDQ6536440

Arnault Lapitre, Pascale Le Gall, Christophe Gaston, Boutheina Bannour, Erwan Mahe

Publication date: 3 May 2024

zbMATH Keywords

distributed systemsinteractionpartial observabilitymultitrace semanticsoffline runtime verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Interaction-based offline runtime verification of distributed systems