Testing Distributed Systems Through Symbolic Model Checking

DOI10.1007/978-3-540-73196-2_17MaRDI QIDQ3612360zbMATH OpenOpenAlexFDO

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

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

asynchronous distributed systemsglobal propertymodel checking of tracestestingtrace checking

Mathematics Subject Classification ID

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

Recommendations

• Reachability analysis on distributed executions
• scientific article; zbMATH DE number 2013784
• A formal approach to property testing in causally consistent distributed traces
• Model checking properties on reduced trace systems
• scientific article; zbMATH DE number 1285209

Cites work

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

Cited in

(10)

• A symbolic operational semantics for TESL -- with an application to heterogeneous system testing
• A formal approach to property testing in causally consistent distributed traces
• Distributed symbolic bounded property checking
• Testing Distributed Systems Through Symbolic Model Checking
• scientific article; zbMATH DE number 1285209 (Why is no real title available?)
• scientific article; zbMATH DE number 2013784 (Why is no real title available?)
• Model Checking Software
• Testing for race conditions in distributed systems via SMT solving
• Distributed symbolic model checking for -calculus
• On the complexity of partial order trace model checking

Describes a project that uses

Uses Software

• dSL
• SPIN
• NuSMV

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612360)