Testing for race conditions in distributed systems via SMT solving

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

Author name not available (Why is that?), Author name not available (Why is that?), 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
• 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

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)