{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:20Z","timestamp":1725664340909},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584261"},{"type":"electronic","value":"9783540487852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58426-9_125","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:00:34Z","timestamp":1330272034000},"page":"77-94","source":"Crossref","is-referenced-by-count":3,"title":["Formal reasoning on fault coverage of fault tolerant techniques: A case study"],"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":"Luca","family":"Simoncini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"5_CR1","unstructured":"Bernardeschi, C., Fantechi, A., Simoncini, L.: A formal framework for verifying fault tolerant systems. Internal Report IR-BFS1-93, Department of Information Engineering, University of Pisa (1993) (available on request from the authors)"},{"key":"5_CR2","first-page":"23","volume-title":"The Formal Description Technique LOTOS","author":"T. Bolognesi","year":"1989","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LO-TOS. The Formal Description Technique LOTOS, Elsevier Science Publishers B.V., North-Holland (1989) 23\u201373"},{"key":"5_CR3","first-page":"96","volume":"663","author":"A. Bouali","year":"1992","unstructured":"Bouali, A., De Simone, R.: Symbolic bisimulation minimisation. Proc. Computer Aided Verification '92, LNCS 663 (1992) 96\u2013108","journal-title":"LNCS"},{"key":"5_CR4","unstructured":"Cau, A., de Roever, W.: Specifying fault tolerance within Stark's formalism. Proc. FTCS'23, Toulouse, France (1992) 392\u2013401"},{"issue":"1","key":"5_CR5","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/TSE.1985.231534","volume":"11","author":"F. Cristian","year":"1985","unstructured":"Cristian, F.: A rigorous approach to fault tolerant programming. IEEE Transaction on Software Engineering, 11 (1), (1985) 23\u201331","journal-title":"IEEE Transaction on Software Engineering"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"De Boer, F.S., Coenen J., Gerth R.: Exception handling in process algebra. Proc. 1st North American Process Algebra Workshop, Workshop in Computing Series, Springer-Verlag (1993)","DOI":"10.1007\/978-1-4471-3217-2_6"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/BF00264365","volume":"24","author":"R. Nicola De","year":"1987","unstructured":"De Nicola, R.: Extensional equivalences for transition systems. Acta Informatica 24 (1987) 211\u2013237","journal-title":"Acta Informatica"},{"key":"5_CR8","unstructured":"De Simone, R., Vergamini, D.: Aboard AUTO. Technical Report RT111, INRIA (1989)"},{"key":"5_CR9","unstructured":"van Eijk, P.: Tool demonstration:the Lotosphere Integrated Tool Environment LITE. Formal Description Techniques, IV, North-Holland (1992) 471\u2013474"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Laprie, J.C.(ed.):Dependability: basic concepts and terminology. Dependable Computing and Fault-Tolerant Systems, 5, Springer-Verlag (1992)","DOI":"10.1007\/978-3-7091-9170-5"},{"key":"5_CR11","unstructured":"Lin, H.: A verification tool for value passing processes. Proc. Protocol Specification, Testing and Verification, XIII, North-Holland (1993) B1.1\u2013B1.13"},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1007\/BF01211393","volume":"4","author":"Z. Liu","year":"1992","unstructured":"Liu, Z., Joseph, M.: Transformation of programs for fault tolerance. Formal Aspects of Computing, 4 (1992) 442\u2013469","journal-title":"Formal Aspects of Computing"},{"key":"5_CR13","unstructured":"Johnson, B.: Design and analysis of fault tolerant systems. Addison-Wesley Publishing Company (1989)"},{"key":"5_CR14","first-page":"175","volume":"331","author":"L.V. Mancini","year":"1992","unstructured":"Mancini, L.V., Pappalardo, G.: Towards a theory of replicated processing. Proc. Symposium on Formal Techniques in Real-time and Fault Tolerant Systems, LNCS 331 (1992) 175\u2013192","journal-title":"LNCS"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Milner, R.: A calculus of communicating systems. LNCS 92, Springer-Verlag (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"5_CR16","volume-title":"Communication and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and concurrency. Prentice-Hall International, Englewood Cliffs (1989)"},{"key":"5_CR17","unstructured":"Nordahl, J.: Design for dependability. In: C.E. Landwehr, B. Randell, L. Simoncini (eds.): Dependable Computing for Critical Applications 3. Dependable Computing and Fault-Tolerant Systems, 8, Springer-Verlag (1992) 65\u201389"},{"key":"5_CR18","first-page":"173","volume":"649","author":"D. Peled","year":"1993","unstructured":"Peled, D., Joseph, M.: A compositional approach for fault-tolerance using specification transformation. Proc. PARLE'93, LNCS 649 (1993) 173\u2013184","journal-title":"LNCS"},{"issue":"2","key":"5_CR19","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF02259751","volume":"5","author":"J. Peleska","year":"1990","unstructured":"Peleska, J.: Design and verification of fault tolerant systems with CSP. Distributed Computing, 5 (2), (1990) 95\u2013106","journal-title":"Distributed Computing"},{"key":"5_CR20","unstructured":"Prasad, K.V.S.: Specification and proof of a simple fault tolerant system in CCS. Internal Report CSR-178-84, Department of Computer Science, University of Edinburg (1984)"},{"key":"5_CR21","unstructured":"Schepers, H.: Tracing fault tolerance. In: C.E. Landwehr, B. Randell, L. Simoncini (eds.): Dependable Computing for Critical Applications 3. Dependable Computing and Fault-Tolerant Systems, 8, Springer-Verlag (1992) 91\u2013110"},{"key":"5_CR22","first-page":"197","volume":"649","author":"H. Schepers","year":"1993","unstructured":"Schepers, H., Hooman, J.: Trace-based compositional reasoning about fault tolerant systems. Proc. PARLE'93, LNCS 649 (1993) 197\u2013208","journal-title":"LNCS"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Schepers, H., Gerth, R.: A compositional proof theory for fault tolerant real-time distributed systems. Proc. 12th Symposium on Reliable Distributed Systems (1993) 34\u201343","DOI":"10.1109\/RELDIS.1993.393475"},{"issue":"3","key":"5_CR24","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/75200.75240","volume":"14","author":"D.G. Weber","year":"1989","unstructured":"Weber, D.G.: Formal specification of fault-tolerance and its relation to computer security. ACM Software Engineering Notes, 14 (3), (1989) 273\u2013277","journal-title":"ACM Software Engineering Notes"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing \u2014 EDCC-1"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58426-9_125.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:15:22Z","timestamp":1619572522000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58426-9_125"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584261","9783540487852"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-58426-9_125","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}