An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation Ratan NalumasuGanesh Gopalakrishnan OriginalPaper Pages: 231 - 247
Generating Model Checkers from Algebraic Specifications Teodor RusEric Van WykTom Halverson OriginalPaper Pages: 249 - 284
An Improvement of McMillan's Unfolding Algorithm Javier EsparzaStefan RömerWalter Vogler OriginalPaper Pages: 285 - 310
On WLCDs and the Complexity of Word-Level Decision Diagrams—A Lower Bound for Division Christoph SchollBernd BeckerThomas Weis OriginalPaper Pages: 311 - 326