{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:20Z","timestamp":1750221020200,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T00:00:00Z","timestamp":1565568000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,8,12]]},"DOI":"10.1145\/3338906.3340453","type":"proceedings-article","created":{"date-parts":[[2019,8,9]],"date-time":"2019-08-09T12:21:03Z","timestamp":1565353263000},"page":"1026-1036","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Model checking a C++ software framework: a case study"],"prefix":"10.1145","author":[{"given":"John","family":"L\u00e5ng","sequence":"first","affiliation":[{"name":"University of Helsinki, Finland"}]},{"given":"I. S. W. B.","family":"Prasetya","sequence":"additional","affiliation":[{"name":"Utrecht University, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2019,8,12]]},"reference":[{"volume-title":"IFAC Proceedings Volumes 47, 2 (2014), 394 \u2013 399. 12th IFAC International Workshop on Discrete Event Systems","year":"2014","author":"Adiego Borja Fern\u00e1ndez","key":"e_1_3_2_1_1_1"},{"volume-title":"Principles of Model Checking","author":"Baier Christel","key":"e_1_3_2_1_2_1"},{"volume-title":"Automated Technology for Verification and Analysis (ATVA 2017) (LNCS)","author":"Baranov\u00e1 Zuzana","key":"e_1_3_2_1_3_1"},{"volume-title":"Principles of the Spin Model Checker","author":"Ben-Ari Mordechai","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581393"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2242"},{"volume":"2404","volume-title":"Proc. International Conference on Computer-Aided Verification (CAV 2002)","author":"Cimatti A.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081180.1081184"},{"key":"e_1_3_2_1_9_1","first-page":"8","article-title":"Upgrade of the ALICE Experiment","volume":"41","author":"B Abelev","year":"2014","journal-title":"Journal of Physics G: Nuclear and Particle Physics"},{"volume-title":"Peter Gorm Larsen, and Jim Woodcock","year":"2013","author":"Fitzgerald John","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","volume-title":"IEEE Symposium Conference Record Nuclear Science 2004","volume":"3","author":"Franek B.","year":"1831"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.03.005"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0010-4655(01)00260-0"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379681"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.9"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302710"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.11.009"},{"key":"e_1_3_2_1_19_1","unstructured":"2012.11.009 Special Section on International Software Product Line Conference 2010 and Fundamentals of Software Engineering (selected papers of FSEN 2011).  2012.11.009 Special Section on International Software Product Line Conference 2010 and Fundamentals of Software Engineering (selected papers of FSEN 2011)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"},{"key":"e_1_3_2_1_21_1","unstructured":"1592438  1592438"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"volume-title":"Specifying systems: the TLA+ language and tools for hardware and software engineers","author":"Lamport Leslie","key":"e_1_3_2_1_23_1"},{"volume-title":"Proc. of International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS\u201917)","year":"2018","author":"L\u00e5ng J.L.","key":"e_1_3_2_1_24_1"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"volume-title":"DiVM: Model Checking with LLVM and Graph Memory. CoRR abs\/1703.05341","year":"2017","author":"Rockai Petr","key":"e_1_3_2_1_26_1"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2010.06.002"}],"event":{"name":"ESEC\/FSE '19: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Tallinn Estonia","acronym":"ESEC\/FSE '19"},"container-title":["Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3340453","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3338906.3340453","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:26:21Z","timestamp":1750206381000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3340453"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,12]]},"references-count":27,"alternative-id":["10.1145\/3338906.3340453","10.1145\/3338906"],"URL":"https:\/\/doi.org\/10.1145\/3338906.3340453","relation":{},"subject":[],"published":{"date-parts":[[2019,8,12]]},"assertion":[{"value":"2019-08-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}