Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs

Download PDF
Open Webpage

Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath

Published: 2004, Last Modified: 22 Mar 2026Formal Methods Syst. Des. 2004EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Explicit-state model checking tools often incorporate partial-order reductions to reduce the number of system states explored (and thus the time and memory required) for verification. As model checking techniques are scaled up to software systems, it is important to develop and assess partial-order reduction strategies that are effective for addressing the complex structures found in software and for reducing the tremendous cost of model checking software systems.