An efficient partial order reduction algorithm with an alternative proviso implementation

DOI10.1023/A:1014728912264MaRDI QIDQ1600652zbMATH OpenOpenAlexFDO

Authors Ratan Nalumasu, Ganesh Gopalakrishnan

Publication date 16 June 2002

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1014728912264

zbMATH Keywords

protocol verifierTwophase

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Combining partial-order reductions with on-the-fly model-checking.
• scientific article; zbMATH DE number 1973997
• Model Checking Software
• Transparent partial order reduction
• scientific article; zbMATH DE number 2087625

Cited in

(7)

• Dynamic reductions for model checking concurrent software
• scientific article; zbMATH DE number 1973997 (Why is no real title available?)
• Comparing Source Sets and Persistent Sets for Partial Order Reduction
• Model Checking Software
• Model Checking Software
• Experimenting with stubborn sets on Petri nets
• Symmetry and partial order reduction techniques in model checking Rebeca

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: An efficient partial order reduction algorithm with an alternative proviso implementation

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