On Stubborn Sets in the Verification of Linear Time Temporal Properties

DOI10.1007/3-540-69108-1_8MaRDI QIDQ6487389zbMATH OpenFDO

Authors Kimmo Varpaaniemi

Publication date 9 December 2022

Full work available at URL https://doi.org/10.1007/3-540-69108-1_8

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On stubborn sets in the verification of linear time temporal properties
• scientific article; zbMATH DE number 1278351
• scientific article; zbMATH DE number 177511
• Stubborn sets for simple linear time properties
• scientific article; zbMATH DE number 177237

Cites work

• A stubborn attack on state explosion
• Analysis of Petri nets with a dynamic priority method
• Combining partial-order reductions with on-the-fly model-checking.
• Computer aided verification. 5th international conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
• Covering step graph
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 3972158 (Why is no real title available?)
• scientific article; zbMATH DE number 177512 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Partial-order reduction in the weak modal mu-calculus
• Relaxed visibility enhances partial order reduction
• Transition Systems of Elementary Net Systems with Localities
• Verification of distributed programs using representative interleaving sequences

Cited in

(10)

• On stubborn sets in the verification of linear time temporal properties
• Stubborn sets for simple linear time properties
• scientific article; zbMATH DE number 177237 (Why is no real title available?)
• scientific article; zbMATH DE number 177511 (Why is no real title available?)
• scientific article; zbMATH DE number 1278351 (Why is no real title available?)
• scientific article; zbMATH DE number 1515297 (Why is no real title available?)
• scientific article; zbMATH DE number 1515298 (Why is no real title available?)
• Stubborn Sets, Frozen Actions, and Fair Testing
• Question-guided stubborn set methods for state properties
• Theoretical foundations of handling large substitution sets in temporal integrity monitoring

This page was built for publication: On Stubborn Sets in the Verification of Linear Time Temporal Properties

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