scientific article; zbMATH DE number 1515297

MaRDI QIDQ4507830zbMATH OpenFDO

Authors

Publication date 29 January 2001

zbMATH Keywords

computer aided verificationCTL model checkingfragment of CTLpartial order reductionstubborn set approach

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On Stubborn Sets in the Verification of Linear Time Temporal Properties
• On stubborn sets in the verification of linear time temporal properties
• scientific article; zbMATH DE number 177511
• A stubborn attack on state explosion
• Publication:4507831

Cited in

(5)

• On stubborn sets in the verification of linear time temporal properties
• The inconsistent labelling problem of stutter-preserving partial-order reduction
• Stubborn Sets, Frozen Actions, and Fair Testing
• A detailed account of the inconsistent labelling problem of stutter-preserving partial-order reduction
• Taking Some Burden Off an Explicit CTL Model Checker

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 Q4507830)