{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:20Z","timestamp":1750306520587,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,11,11]],"date-time":"2014-11-11T00:00:00Z","timestamp":1415664000000},"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":[[2014,11,11]]},"DOI":"10.1145\/2635868.2666606","type":"proceedings-article","created":{"date-parts":[[2014,11,4]],"date-time":"2014-11-04T21:44:36Z","timestamp":1415137476000},"page":"783-786","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Traceability and model checking to support safety requirement verification"],"prefix":"10.1145","author":[{"given":"Shuanglong","family":"Kan","sequence":"first","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, China"}]}],"member":"320","published-online":{"date-parts":[[2014,11,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"A. R.\n      Bradley\n    .\n  SAT-Based Model Checking without Unrolling\n  . In R. Jhala and D. A. Schmidt editors VMCAI volume \n  6538\n   of \n  Lecture Notes in Computer Science pages 70\u2013\n  87\n  . Springer 2011.   A. R. Bradley. SAT-Based Model Checking without Unrolling. In R. Jhala and D. A. Schmidt editors VMCAI volume 6538 of Lecture Notes in Computer Science pages 70\u201387. Springer 2011.","DOI":"10.1007\/978-3-642-18275-4_7"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2559978"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_23"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"E. M.\n      Clarke D.\n      Kroening and \n      F.\n      Lerda\n  . \n  A Tool for Checking ANSI-C Programs\n  . In K. Jensen and A. Podelski editors TACAS volume \n  2988\n   of \n  Lecture Notes in Computer Science pages 168\u2013\n  176\n  . Springer 2004.  E. M. Clarke D. Kroening and F. Lerda. A Tool for Checking ANSI-C Programs. In K. Jensen and A. Podelski editors TACAS volume 2988 of Lecture Notes in Computer Science pages 168\u2013176. Springer 2004.","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000040025.89719.f3"},{"key":"e_1_3_2_1_7_1","volume-title":"Fault Tree Handbook. NUREG-049","author":"Comm U. N. R.","year":"1981","unstructured":"U. N. R. Comm . Fault Tree Handbook. NUREG-049 , 1981 . U. N. R. Comm. Fault Tree Handbook. NUREG-049, 1981."},{"key":"e_1_3_2_1_8_1","volume-title":"Functional Safety of Electrical\/Electronic\/Programmable Electronic Safetyrelated Systems (IEC 61508)","author":"I. E. Commission","year":"2005","unstructured":"I. E. Commission . Functional Safety of Electrical\/Electronic\/Programmable Electronic Safetyrelated Systems (IEC 61508) . 2005 . I. E. Commission. Functional Safety of Electrical\/Electronic\/Programmable Electronic Safetyrelated Systems (IEC 61508). 2005."},{"key":"e_1_3_2_1_9_1","volume-title":"Road Vehicles\u00b4lcFunctional Safety","author":"Draft Standard I.","year":"2009","unstructured":"I. Draft Standard . Road Vehicles\u00b4lcFunctional Safety . 2009 . I. Draft Standard. Road Vehicles\u00b4lcFunctional Safety. 2009."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2093889"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/0471739421"},{"key":"e_1_3_2_1_12_1","volume-title":"for Aeronautics","author":"R. T.","year":"1992","unstructured":"R. T. C. for Aeronautics (RTCA) Inc. DO-178B-Software Considerations in Airborne Systems and Equipment Certification . 1992 . R. T. C. for Aeronautics (RTCA) Inc. DO-178B-Software Considerations in Airborne Systems and Equipment Certification. 1992."},{"key":"e_1_3_2_1_13_1","volume-title":"for Aeronautics","author":"R. T.","year":"2011","unstructured":"R. T. C. for Aeronautics (RTCA) Inc. DO-178C-Software Considerations in Airborne Systems and Equipment Certification . 2011 . R. T. C. for Aeronautics (RTCA) Inc. DO-178C-Software Considerations in Airborne Systems and Equipment Certification. 2011."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-005-1489-x"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.708570"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_18_1","unstructured":"S. Kan Z. Huang Z. Chen and W. Li. Partial Order Reduction for Checking LTL Formulae with the Nexttime Operator. Journal of Logic and Computation.  S. Kan Z. Huang Z. Chen and W. Li. Partial Order Reduction for Checking LTL Formulae with the Nexttime Operator. Journal of Logic and Computation."},{"key":"e_1_3_2_1_19_1","unstructured":"S. Kan Z. Huang Z. Chen and B. Xu. Bounded Model Checking of C Programs Using Event Automaton Specifications. Journal of Software.  S. Kan Z. Huang Z. Chen and B. Xu. Bounded Model Checking of C Programs Using Event Automaton Specifications. Journal of Software."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/530225"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_14"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.01.005"}],"event":{"name":"SIGSOFT\/FSE'14: 22nd ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Hong Kong China","acronym":"SIGSOFT\/FSE'14"},"container-title":["Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2635868.2666606","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2635868.2666606","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:11:57Z","timestamp":1750227117000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2635868.2666606"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,11]]},"references-count":22,"alternative-id":["10.1145\/2635868.2666606","10.1145\/2635868"],"URL":"https:\/\/doi.org\/10.1145\/2635868.2666606","relation":{},"subject":[],"published":{"date-parts":[[2014,11,11]]},"assertion":[{"value":"2014-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}