Stateless model checking concurrent programs with maximal causality reduction
- 3 June 2015
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation
Abstract
No abstract availableThis publication has 32 references indexed in Scilit:
- Maximal Causal Models for Sequentially Consistent SystemsLecture Notes in Computer Science, 2013
- Generating Data Race Witnesses by an SMT-Based AnalysisLecture Notes in Computer Science, 2011
- A randomized scheduler with probabilistic guarantees of finding bugsACM SIGPLAN Notices, 2010
- Trace-Based Symbolic Analysis for Atomicity ViolationsLecture Notes in Computer Science, 2010
- Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction TechniqueLecture Notes in Computer Science, 2009
- Z3: An Efficient SMT SolverLecture Notes in Computer Science, 2008
- Software Model Checking: The VeriSoft ApproachFormal Methods in System Design, 2005
- State space reduction using partial order techniquesInternational Journal on Software Tools for Technology Transfer, 1999
- Trace theoryLecture Notes in Computer Science, 1987
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978