{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:32:19Z","timestamp":1729675939099,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/mwscas.2014.6908387","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T10:54:51Z","timestamp":1412074491000},"page":"201-204","source":"Crossref","is-referenced-by-count":9,"title":["Formal methods for safety critical system specification"],"prefix":"10.1109","author":[{"given":"Jonathan","family":"Lockhart","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carla","family":"Purdy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Wilsey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"965","article-title":"Theorem proving software, based on method of positively-constructed formulae","author":"larionov","year":"2011","journal-title":"MIPRO 2011 Proceedings of the 34th International Convention"},{"key":"17","first-page":"181","article-title":"Some key research problems in automated theorem proving for hardware and software verification","volume":"98","author":"kaufmann","year":"2004","journal-title":"Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCT.2010.5640473"},{"key":"15","first-page":"247","article-title":"Refinement","author":"jacky","year":"1997","journal-title":"The Way of Z Practical Programming with Formal Methods"},{"key":"16","first-page":"247","article-title":"Safety-critical protection system","author":"jacky","year":"1997","journal-title":"The Way of Z Practical Programming with Formal Methods"},{"journal-title":"International Organization for Standardization and International Electrotechnical Commission","article-title":"Information technology, programming languages, their environments and system software interfaces, Vienna Development Method, specification language","year":"1996","key":"13"},{"key":"14","article-title":"Information technology: Z formal specification notation: Syntax, type system, and semantics","author":"islam","year":"2002","journal-title":"International Organization for Standardization and International Electrotechnical Commission"},{"key":"11","first-page":"1","article-title":"Propositional logic","author":"huth","year":"2000","journal-title":"Logic in Computer Science Modelling and Reasoning about Systems"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCITECHN.2010.5723892"},{"key":"21","first-page":"143","article-title":"Solutions to exercises","author":"lemma","year":"2006","journal-title":"ProofPower Z Tutorial"},{"key":"20","first-page":"5","author":"lemma","year":"2006","journal-title":"Getting Started"},{"journal-title":"Software Development Process and Reliability Quantification for Safety Critical Embedded Systems Design","year":"2014","author":"lockhart","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1976.1674704"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2008.4695875"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2049150"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2002.999823"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.24"},{"key":"28","first-page":"18","article-title":"Basic concepts","author":"spivey","year":"1988","journal-title":"Understanding Z A Specification Language and Its Formal Semantics"},{"key":"29","first-page":"98","article-title":"Studies in Z style","author":"spivey","year":"1988","journal-title":"Understanding Z A Specification Language and Its Formal Semantics"},{"key":"3","first-page":"37","article-title":"Predicate logic","volume":"44","author":"davies","year":"1996","journal-title":"Using Z Specification Refinement and Proof"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"10","first-page":"90","article-title":"Predicate logic","author":"huth","year":"2000","journal-title":"Logic in Computer Science Modelling and Reasoning about Systems"},{"key":"1","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1049\/sej.1993.0025","article-title":"safety-critical systems, formal methods and standards","volume":"8","author":"bowen","year":"1993","journal-title":"Software Engineering Journal"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873645"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2000.848641"},{"key":"6","first-page":"35","article-title":"Reliability Theory Applied to Software Testing","volume":"38","author":"drake","year":"1987","journal-title":"Hewlett-Packard Journal"},{"key":"5","first-page":"57","article-title":"Sets","author":"davies","year":"1996","journal-title":"Using Z Specification Refinement and Proof"},{"key":"4","first-page":"9","article-title":"Propositional logic","author":"davies","year":"1996","journal-title":"Using Z Specification Refinement and Proof"},{"key":"9","first-page":"1","article-title":"Embedded C-traps and pitfalls","author":"hills","year":"2001","journal-title":"Quest"},{"journal-title":"An Introduction to Formal Methods for the Development of Saftey-critical Applications","year":"2010","author":"haxthausen","key":"8"}],"event":{"name":"2014 IEEE 57th International Midwest Symposium on Circuits and Systems (MWSCAS)","start":{"date-parts":[[2014,8,3]]},"location":"College Station, TX, USA","end":{"date-parts":[[2014,8,6]]}},"container-title":["2014 IEEE 57th International Midwest Symposium on Circuits and Systems (MWSCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6900043\/6908326\/06908387.pdf?arnumber=6908387","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T17:29:36Z","timestamp":1498152576000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6908387\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/mwscas.2014.6908387","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}