{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:41:03Z","timestamp":1725608463236},"publisher-location":"Vienna","reference-count":13,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211832820"},{"type":"electronic","value":"9783709163559"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-7091-6355-9_5","type":"book-chapter","created":{"date-parts":[[2011,9,15]],"date-time":"2011-09-15T03:42:02Z","timestamp":1316058122000},"page":"62-76","source":"Crossref","is-referenced-by-count":0,"title":["PAMELA+PVS Verification of Sequential Programs"],"prefix":"10.1007","author":[{"given":"Bettina","family":"Buth","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","first-page":"60","volume":"39","author":"D Bj\u00f8rner","year":"1989","unstructured":"Bj\u00f8rner D., Hoare, C. A. R., Bowen, J., He, J., Langmaack, H., Olderog, E.-R., Martin, U., Stravridou, V., Nielson, F., Nielson, 11.-R., Barringer, H., Edwards, D., LOvengreen, 11.-H., Ravn, A. P., and Rischel, H. (1989): A ProCoS project description\u2013ESPRIT BRA 3014. Bulletin of the EATCS 39, 60\u201373.","journal-title":"Bulletin of the EATCS"},{"key":"5_CR2","volume-title":"Christian-Albrechts-Universit\u00e4t Kiel","author":"B Buth","year":"1989","unstructured":"Buth, B., Buth, K.H., Martin, U., and Stavridou, V. (1989): Experiments with program verification systems. ProCoS Technical Report Kiel BB2, Christian-Albrechts-Universit\u00e4t Kiel."},{"key":"5_CR3","unstructured":"Buth, B. (1995): Operation Refinement Proofs for VDM-like Specifications, Dissertation; published as Technical Report 9501 Institut f\u00fcr Informatik und Praktische Mathematik, Christian-Albrechts-Universit\u00e4t Kiel. (see also: \n                  http:\/\/www.informatik.uni\n                  \n                -bremen.de\/~bb)"},{"key":"5_CR4","unstructured":"Buth, B. (1998): An Interface between PAMELA and PVS, Report, in preparation. Buth, B., Cardell-Oliver, R., and Peleska, J. (1998): Combining Tools for the Verification of Fault-Tolerant Systems. In: Tools for System Development and Verification, (Workshop Proceedings), BISS Monographs, Shaker, 1998."},{"key":"5_CR5","unstructured":"Crow,J., Owre,S., Rushby, J., Shankar,S., and Srivas,M. (1995): A Tutorial Introduction to PVS, Presented at WIFT \u201885: Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, Florida; (see also: \n                  http:\/\/www.csl.sri.com\n                  \n                \/wift-tutorial.html)"},{"key":"5_CR6","volume-title":"Prentice-Hall International","author":"J-W Bakker de","year":"1980","unstructured":"de Bakker, J.-W. (1980): Mathematical Theory of Program Correctness. Series in Computer Science. Prentice-Hall International."},{"key":"5_CR7","unstructured":"Hoare, C.A.R. (1985): Communicating Sequential Processes; Prentice Hall International."},{"key":"5_CR8","unstructured":"Jones, C.B. (1990): Systematic Software Development using VDM, Series in Computer Science. Prentice-Hall International, Second Edition."},{"key":"5_CR9","volume-title":"Springer-Verlag","author":"M Heisel","year":"1990","unstructured":"Heisel, M., Reif, W., and Stephan, W. (1990) Tactical theorem proving in program verification. in Stickel, M. E. (ed.) Proceedings of the 10th International Conference on Automated Deduction, Kaiserslautern, FRG, LNAI 449, pp 117\u2013131. Springer-Verlag."},{"key":"5_CR10","first-page":"1996","volume-title":"Test Automation of Safety-Critical Reactive Systems. South African Computer Jounal (1997) 19: 53-77. Also available as Bericht Nr. 9614, Dezember","author":"J Peleska","year":"1996","unstructured":"Peleska, J. and Siegel, M. (1996): Test Automation of Safety-Critical Reactive Systems. South African Computer Jounal (1997) 19: 53\u201377. Also available as Bericht Nr. 9614, Dezember 1996, Institut f\u00fcr Informatik und praktische Mathematik, Christian\u00acAlbrechts-Universit\u00e4t Kiel."},{"key":"5_CR11","unstructured":"Peleska, J. (1996): Formal Methods and the Development of Dependable Systems; Habil itationsschrift, Technical Report 9612, Institut f\u00fcr Informatik, Christian-Albrechts Universit\u00e4t Kiel; (see also: http:\/\/www. informatik.uni-bremen.de\/jp)"},{"key":"5_CR12","volume-title":"The RAISE Development Method","author":"The RAISE Method Group","year":"1995","unstructured":"The RAISE Method Group (1995): The RAISE Development Method. The Practitioner Series, Prentice Hall."},{"key":"5_CR13","volume-title":"121-151","author":"D Weber-Wulff","year":"1993","unstructured":"Weber-Wulff, D. (1993): Proof movie - a proof with the Boyer-Moore Prover. in:Forrnal Aspects of Computing 5(2), 121\u2013151."}],"container-title":["Tool Support for System Specification, Development and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6355-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T04:36:06Z","timestamp":1606106166000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6355-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783211832820","9783709163559"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6355-9_5","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}