scientific article; zbMATH DE number 1515297

zbMath0953.03037MaRDI QIDQ4507830

No author found.

Publication date: 29 January 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

partial order reductionCTL model checkingcomputer aided verificationfragment of CTLstubborn set approach

Mathematics Subject Classification ID

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

Related Items

Taking Some Burden Off an Explicit CTL Model Checker, The inconsistent labelling problem of stutter-preserving partial-order reduction, On stubborn sets in the verification of linear time temporal properties, Unnamed Item