{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T14:24:05Z","timestamp":1777645445246,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"1-2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["FI"],"published-print":{"date-parts":[[2021,1,13]]},"abstract":"<jats:p>Many partial order methods use some special condition for ensuring that the analysis is not terminated prematurely. In the case of stubborn set methods for safety properties, implementation of the condition is usually based on recognizing the terminal strong components of the reduced state space and, if necessary, expanding the stubborn sets used in their roots. In an earlier study it was pointed out that if the system may execute a cycle consisting of only invisible actions and that cycle is concurrent with the rest of the system in a non-obvious way, then the method may be fooled to construct all states of the full parallel composition. This problem is solved in this study by a method that \u201cfreezes\u201d the actions in the cycle. The new method also preserves fair testing equivalence, making it usable for the verification of many progress properties.<\/jats:p>","DOI":"10.3233\/fi-2021-2001","type":"journal-article","created":{"date-parts":[[2021,1,15]],"date-time":"2021-01-15T12:18:16Z","timestamp":1610713096000},"page":"139-172","source":"Crossref","is-referenced-by-count":0,"title":["Stubborn Sets, Frozen Actions, and Fair Testing"],"prefix":"10.1177","volume":"178","author":[{"given":"Antti","family":"Valmari","sequence":"first","affiliation":[{"name":"Faculty of Information Technology, University of Jyv\u00e4skyl\u00e4, P.O. Box 35 (Ag C416.2), FI-40014 University of Jyv\u00e4skyl\u00e4, Jyv\u00e4skyl\u00e4, Finland. antti.valmari@jyu.fi"}]},{"given":"Walter","family":"Vogler","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, University of Augsburg, D-86135 Augsburg, Germany. walter.vogler@informatik.uni-augsburg.de"}]}],"member":"179","container-title":["Fundamenta Informaticae"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/FI-2021-2001","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:32:15Z","timestamp":1777444335000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/FI-2021-2001"}},"subtitle":[],"editor":[{"given":"Matthew","family":"Hague","sequence":"additional","affiliation":[]},{"given":"Igor","family":"Potapov","sequence":"additional","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2021,1,13]]},"references-count":0,"journal-issue":{"issue":"1-2"},"URL":"https:\/\/doi.org\/10.3233\/fi-2021-2001","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,13]]}}}