scientific article; zbMATH DE number 1278351

MaRDI QIDQ4239305zbMATH OpenFDO

Authors Kimmo Varpaaniemi

Publication date 25 April 1999

zbMATH Keywords

linear time temporal logicBüchi automatastubborn set method

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Formal languages and automata (68Q45)

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

Cited in

(13)

• On the Computation of Stubborn Sets of Colored Petri Nets
• Stubborn sets for simple linear time properties
• On Stubborn Sets in the Verification of Linear Time Temporal Properties
• An efficient algorithm for the computation of stubborn sets of well formed Petri nets
• Stubborn set intuition explained
• A stubborn set algorithm for optimal planning
• More stubborn set methods for process algebras
• Question-guided stubborn set methods for state properties
• scientific article; zbMATH DE number 1515298 (Why is no real title available?)
• scientific article; zbMATH DE number 1696461 (Why is no real title available?)
• On stubborn sets in the verification of linear time temporal properties
• Exploring the scope for partial order reduction
• Can stubborn sets be optimal?

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