An efficient partial order reduction algorithm with an alternative proviso implementation

DOI10.1023/A:1014728912264zbMATH Open1017.68069OpenAlexW1481204670MaRDI QIDQ1600652FDOQ1600652

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

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

zbMATH Keywords

protocol verifierTwophase

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (7)

• Title not available (Why is that?)
• Symmetry and partial order reduction techniques in model checking Rebeca
• Dynamic Reductions for Model Checking Concurrent Software
• Experimenting with stubborn sets on Petri nets
• Model Checking Software
• Comparing Source Sets and Persistent Sets for Partial Order Reduction
• Model Checking Software

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)