scientific article; zbMATH DE number 1497783

MaRDI QIDQ4499200zbMATH OpenFDO

Authors Heike Wehrheim

Publication date 5 March 2001

zbMATH Keywords

verification of concurrent systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1507206
• Transparent partial order reduction
• Partial-Order Reduction
• Relaxed visibility enhances partial order reduction
• scientific article; zbMATH DE number 1059330

Cited in

(7)

• Partial order reduction for verification of spatial properties of pi-calculus processes
• scientific article; zbMATH DE number 1507206 (Why is no real title available?)
• Transparent partial order reduction
• Relaxed visibility enhances partial order reduction
• Equivalence checking 40 years after: a review of bisimulation tools
• Covering step graph preserving failure semantics
• Optimising the ProB model checker for B using partial order reduction

This page was built for publication:

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