Improved question-guided stubborn set methods for state properties

DOI10.1007/3-540-44988-4_17MaRDI QIDQ2766568zbMATH OpenFDO

Authors Antti Valmari, Lars M. Kristensen

Publication date 17 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44988-4_17

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Question-guided stubborn set methods for state properties
• Safety property-driven stubborn sets
• scientific article; zbMATH DE number 6017853
• Can stubborn sets be optimal?
• scientific article; zbMATH DE number 1278351

Cited in

(3)

• On stubborn sets in the verification of linear time temporal properties
• Experimenting with stubborn sets on Petri nets
• Question-guided stubborn set methods for state properties

This page was built for publication: Improved question-guided stubborn set methods for state properties

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