Testing Distributed Systems Through Symbolic Model Checking

DOI10.1007/978-3-540-73196-2_17zbMath1215.68042OpenAlexW2127099270MaRDI QIDQ3612360

Cédric Meuter, Thierry Massart, Laurent Van Begin, Gabriel Kalyon

Publication date: 10 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73196-2_17

zbMATH Keywords

global propertytestingasynchronous distributed systemstrace checkingmodel checking of traces

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (2)

On the complexity of partial order trace model checking ⋮ Testing Distributed Systems Through Symbolic Model Checking

Uses Software

• dSL
• SPIN
• NuSMV

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri nets, event structures and domains. I
• LTL is expressively complete for Mazurkiewicz traces
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• An expressively complete linear time temporal logic for Mazurkiewicz traces
• The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin
• Testing Distributed Systems Through Symbolic Model Checking
• Time, clocks, and the ordering of events in a distributed system
• Tools and Algorithms for the Construction and Analysis of Systems
• Principles of Distributed Systems
• Principles of Distributed Systems
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Testing Distributed Systems Through Symbolic Model Checking