Testing for race conditions in distributed systems via SMT solving

DOI10.1007/978-3-030-50995-8_7zbMATH Open1511.6803MaRDI QIDQ6487263FDOQ6487263

Authors: Jorge Sousa Pinto 

Publication date: 9 November 2022

Recommendations

• Reachability analysis on distributed executions
• Testing Distributed Systems Through Symbolic Model Checking
• Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
• scientific article; zbMATH DE number 6712238
• scientific article; zbMATH DE number 2089169

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Distributed systems (68M14)

Cites Work

• The complexity of theorem-proving procedures
• Time, clocks, and the ordering of events in a distributed system

Cited In (1)

• Finding race conditions in Erlang with quickcheck and PULSE

This page was built for publication: Testing for race conditions in distributed systems via SMT solving

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