{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:47:32Z","timestamp":1725619652055},"publisher-location":"London","reference-count":12,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540760702"},{"type":"electronic","value":"9781447109372"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-1-4471-0937-2_2","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T15:23:02Z","timestamp":1318260182000},"page":"21-30","source":"Crossref","is-referenced-by-count":0,"title":["Formal Verification of Safety Requirements on Complex Systems"],"prefix":"10.1007","author":[{"given":"Cinzia","family":"Bernardeschi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Bowen, J.P., Hinchey, M.G, Seven More Myths of Formal Methods, IEEE Software, 12, July 1995, pp. 34\u201341.","DOI":"10.1109\/52.391826"},{"issue":"2","key":"2_CR2","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1980","unstructured":"E. M. Clarke, E. A. Emerson, A. P. Sistla. Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specification. ACM Transaction on Programming Languages and Systems, 8(2), April 1980, pp. 244\u2013203.","journal-title":"ACM Transaction on Programming Languages and Systems"},{"issue":"2","key":"2_CR3","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"JR Burch","year":"1992","unstructured":"J. R. Burch, E.M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang. Symbolic model checking: 1020 states and beyond. Information and Computation 98(2), June 1992, pp. 142\u2013270.","journal-title":"Information and Computation"},{"key":"2_CR4","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"2_CR5","first-page":"474","volume-title":"An experience in formal verification of safety properties of a railway signalling control system","author":"A Anselmi","year":"1995","unstructured":"A. Anselmi, C. Bernardeschi, A. Fantechi, S. Gnesi, S. Larosa, G. Mongardi, F. Torielli. An experience in formal verification of safety properties of a railway signalling control system. Proceedings of the SAFECOMP\u201995 Conference, Belgirate, Springer - Verlag, 1995, pp. 474\u2013488."},{"key":"2_CR6","unstructured":"A. Bouali, S. Gnesi, S. Larosa. The integration Project for the JACK Environment. Bulletin of the EATCS, n.54, October 1994, pp.207\u2013223."},{"key":"2_CR7","volume-title":"Formal Description Techniques","author":"C Silva Da","year":"1993","unstructured":"C. Da Silva, B. Dehbonei, F. Mejia. Formal Specification in the Development of Industrial Applications: Subway Speed Control System. Formal Description Techniques, V (C-10) M. Diaz and R. Groz (Editors) Elsevier Science Publishers B, V, (North-Holland), 1993."},{"key":"2_CR8","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R., Communicating Sequential Processes, Prentice Hall Int., London, 1985."},{"key":"2_CR9","volume-title":"Notes on Algebraic Calculi of Processes","author":"G Boudol","year":"1985","unstructured":"Boudol, G Notes on Algebraic Calculi of Processes. Notes on Algebraic Calculi of Processes, NATO ASI Series F13, 1985."},{"key":"2_CR10","first-page":"407","volume-title":"Action versus State based Logics for Transition Systems","author":"R Nicola De","year":"1990","unstructured":"De Nicola, R., Vaandrager, F W., Action versus State based Logics for Transition Systems, in Proceedings Ecole de Printemps on Semantics of Concurrency Lecture Notes in Computer Science 469, Springer-Verlag, 1990, pp. 407\u2013419."},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"EA Emerson","year":"1980","unstructured":"Emerson, E. A., Halpern, J. Y., \u201cSometimes\u201d and \u201cNot Never\u201d Revisited: on Branching Time versus Linear Time Temporal Logic, Journal of ACM, 33, 1980, 151\u2013178.","journal-title":"Journal of ACM"},{"key":"2_CR12","first-page":"255","volume-title":"Dependable Computing for Critical Applications 3","author":"G Mongardi","year":"1992","unstructured":"G. Mongardi. Dependable Computing for Railway Control Systems, in Dependable Computing for Critical Applications 3, Dependable Computing and Fault-Tolerant Systems 8, Springer-Verlag, 1992, pp. 255\u2013277."}],"container-title":["Safe Comp 96"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0937-2_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T00:57:27Z","timestamp":1619830647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0937-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540760702","9781447109372"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0937-2_2","relation":{},"subject":[],"published":{"date-parts":[[1997]]}}}