{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T06:10:10Z","timestamp":1749795010281,"version":"3.41.0"},"reference-count":12,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,4,27]],"date-time":"2025-04-27T00:00:00Z","timestamp":1745712000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,27]],"date-time":"2025-04-27T00:00:00Z","timestamp":1745712000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,4,27]]},"DOI":"10.1109\/formalise66629.2025.00020","type":"proceedings-article","created":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T17:39:05Z","timestamp":1749749945000},"page":"135-145","source":"Crossref","is-referenced-by-count":0,"title":["Verifying Multiple TLA<sup>+<\/sup> Configurations with Blast"],"prefix":"10.1109","author":[{"given":"Paul","family":"Somson","sequence":"first","affiliation":[{"name":"INESC TEC,Braga,Portugal"}]},{"given":"Alcino","family":"Cunha","sequence":"additional","affiliation":[{"name":"INESC TEC &#x0026; Universidade do Minho,Braga,Portugal"}]}],"member":"263","reference":[{"volume-title":"Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers","year":"2002","author":"Lamport","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2699417"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3360549"},{"volume-title":"Software Abstractions - Logic, Language, and Analysis","year":"2006","author":"Jackson","key":"ref5"},{"issue":"9","key":"ref6","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/947955.1083808","article-title":"Epigrams on programming","volume":"17","author":"Perlis","year":"1982","journal-title":"ACM SIGPLAN Notices"},{"volume-title":"Weeks of debugging can save you hours of TLA+","year":"2020","author":"Kuppe","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950318"},{"key":"ref9","first-page":"884","article-title":"The electrum analyzer: model checking relational first-order temporal specifications","volume-title":"Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France","author":"Brunel","year":"2018"},{"key":"ref10","article-title":"Designing software with complex configurations","volume-title":"CoRR","volume":"abs\/2407.13633","author":"Cunha","year":"2024"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950330"},{"key":"ref12","first-page":"718","article-title":"Cubicle: A parallel smt-based model checker for parameterized systems - tool paper","volume-title":"Computer Aided Verification - 24th International Conference, CAV 2012","volume":"7358","author":"Conchon","year":"2012"}],"event":{"name":"2025 IEEE\/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE)","start":{"date-parts":[[2025,4,27]]},"location":"Ottawa, ON, Canada","end":{"date-parts":[[2025,4,28]]}},"container-title":["2025 IEEE\/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11024220\/11024281\/11024481.pdf?arnumber=11024481","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T05:43:39Z","timestamp":1749793419000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11024481\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,27]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/formalise66629.2025.00020","relation":{},"subject":[],"published":{"date-parts":[[2025,4,27]]}}}