{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:54:48Z","timestamp":1725476088345},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677703"},{"type":"electronic","value":"9783540450474"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722167_45","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T03:00:33Z","timestamp":1167447633000},"page":"561-567","source":"Crossref","is-referenced-by-count":22,"title":["The Statemate Verification Environment"],"prefix":"10.1007","author":[{"given":"Tom","family":"Bienm\u00fcller","sequence":"first","affiliation":[]},{"given":"Werner","family":"Damm","sequence":"additional","affiliation":[]},{"given":"Hartmut","family":"Wittke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"45_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/3-540-48092-7_14","volume-title":"Correct System Design","author":"T. Bienm\u00fcller","year":"1999","unstructured":"Bienm\u00fcller, T., Bohn, J., Brinkmann, H., Brockmeyer, U., Damm, W., Hungar, H., Jansen, P.: Verification of automotive control units. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 319\u2013341. Springer, Heidelberg (1999)"},{"doi-asserted-by":"crossref","unstructured":"Bienm\u00fcller, T., Brockmeyer, U., Damm, W., D\u00f6hmen, G., E\u00dfmann, C., Holberg, H.J., Hungar, H., Josko, B., Schl\u00f6r, R., Wittich, G., Wittke, H., Clements, G., Rowlands, J., Sefton, E.: Formal Verification of an AvionicsApplication using Abstraction and Symbolic Model Checking. In: Redmill, F., Anderson, T. (eds.) Towards System Safety \u2013 Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK. Safety-Critical Systems Club, pp. 150\u2013173. Springer, Heidelberg (1999)","key":"45_CR2","DOI":"10.1007\/978-1-4471-0823-8"},{"unstructured":"Bohn, J., Brockmeyer, U., Essmann, C., Hungar, H.: SMI \u2013 system modeling interface, draft version 0.1. Technical report, Kuratorium OFFIS, e.V., Oldenburg (1999)","key":"45_CR3"},{"unstructured":"Brockmeyer, U.: Verifikation von Statemate Designs. PhD thesis, Carl von Ossietzky Universit\u00e4t Oldenburg (December 1999)","key":"45_CR4"},{"key":"45_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/BFb0054174","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"U. Brockmeyer","year":"1998","unstructured":"Brockmeyer, U., Wittich, G.: Tamagotchis Need Not Die \u2013 Verification of STATEMATE Designs. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, pp. 217\u2013231. Springer, Heidelberg (1998)"},{"issue":"1","key":"45_CR6","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1023\/A:1008615614281","volume":"10","author":"E. Clarke","year":"1997","unstructured":"Clarke, E., Grumberg, O., Hamaguchi, K.: Another Look at LTL Model Checking. Formal Methods in System Design\u00a010(1), 47\u201371 (1997)","journal-title":"Formal Methods in System Design"},{"unstructured":"Damm, W., Brockmeyer, U., Holberg, H.-J., Wittich, G., Eckrich, M.: Einsatz formaler Methoden zur Erh\u00f6hung der Sicherheit eingebetteter Systeme im KFZ, VDI\/VW Gemeinschaftstagung (1997)","key":"45_CR7"},{"doi-asserted-by":"crossref","unstructured":"Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. In: FMOODS 1999 IFIP TC6\/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (1999)","key":"45_CR8","DOI":"10.1007\/978-0-387-35562-7_23"},{"key":"45_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/3-540-63010-4_11","volume-title":"Transformation-Based Reactive Systems Development","author":"K. Feyeraband","year":"1997","unstructured":"Feyeraband, K., Josko, B.: A visual formalism for real time requirement specifications. In: Rus, T., Bertr\u00e1n, M. (eds.) AMAST-ARTS 1997, ARTS 1997, and AMAST-WS 1997. LNCS, vol.\u00a01231, pp. 156\u2013168. Springer, Heidelberg (1997)"},{"unstructured":"Filkorn, T.: Applications on Formal Verification in Industrial Automation and Telecommunication. In: Workshop on Formal Design of Safety Critical Embedded Systems (April 1997)","key":"45_CR10"},{"unstructured":"The VIS Group. VIS: A System for Verification and Synthesis. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102. Springer, Heidelberg (1996), VIS 1.3 is available from the VIS home-page: http:\/\/www-cad.eecs.Berkeley.EDU\/~vis","key":"45_CR11"},{"unstructured":"Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. Technical Report CS95-31, TheWeizmann Institute of Science, Rehovot (1995)","key":"45_CR12"},{"unstructured":"Hoffmann, J., Holberg, H.-J., Schl??r, R.: Industrieller Einsatz formaler Verifikationsmethoden (February 2000);","key":"#cr-split#-45_CR13.1"},{"unstructured":"To appear in ITG\/GI\/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Frankfurt\/Main","key":"#cr-split#-45_CR13.2"},{"key":"45_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63875-X_52","volume-title":"Advances in Computing Science - ASIAN\u201997","author":"E. Mikk","year":"1997","unstructured":"Mikk, E., Lakhnech, Y., Siegel, M.: Hierarchical automata as model for statecharts. In: Shyamasundar, R.K. (ed.) ASIAN 1997. LNCS, vol.\u00a01345. Springer, Heidelberg (1997)"},{"unstructured":"Mikk, E., Lakhnech, Y., Siegel, M.: Towards Efficient Modelchecking Statecharts: A Statecharts to Promela Compiler (April 1997)","key":"45_CR15"},{"key":"45_CR16","volume-title":"17th Digital Avionics Systems Conference","author":"F. Pilarski","year":"1998","unstructured":"Pilarski, F.: Cost effectiveness of formal methods in the development of avionics systems at Aerospatiale. In: 17th Digital Avionics Systems Conference, Seattle, WA. Springer, Heidelberg (1998)"},{"unstructured":"Somenzi, F.: CU Decision Diagram Package (1998), CUDD 2.3.0 is available from http:\/\/vlsi.Colorado.EDU\/~fabio","key":"45_CR17"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722167_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T11:49:17Z","timestamp":1556020157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722167_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677703","9783540450474"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/10722167_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}