scientific article; zbMATH DE number 1069482

zbMATH Open0889.68102MaRDI QIDQ4356434FDOQ4356434

Authors: Orna Kupferman, Gerard J. Holzmann 

Publication date: 26 November 1997

Title of this publication is not available (Why is that?)

Recommendations

• On closure under stuttering
• Negation as failure: careful closure procedure
• Closure
• Stability is not open
• Characterization and verification of stuttering equivalence
• Collapsing Closures
• The stuttering principle revisited
• Towards closure on closure
• scientific article; zbMATH DE number 6914812

zbMATH Keywords

SPINmodel checker

Mathematics Subject Classification ID

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

Cited In (3)

• From bidirectionality to alternation.
• On-the-Fly Stuttering in the Construction of Deterministic ω-Automata
• Specification languages for stutter-invariant regular properties

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