{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:44:33Z","timestamp":1725518673632},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876021"},{"type":"electronic","value":"9783540876038"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87603-8_10","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T07:56:24Z","timestamp":1221897384000},"page":"112-124","source":"Crossref","is-referenced-by-count":9,"title":["Direct Support for Model Checking Abstract State Machines by Utilizing Simulation"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Beckers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Kl\u00fcnder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Kowalewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bastian","family":"Schlich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/3-540-44518-8_20","volume-title":"Abstract State Machines - Theory and Applications","author":"E. B\u00f6rger","year":"2000","unstructured":"B\u00f6rger, E., P\u00e4ppinghaus, P., Schmid, J.: Report on a Practical Application of ASMs in Software Design. In: Gurevich, Y., Kutter, P., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol.\u00a01912, pp. 361\u2013366. Springer, Heidelberg (2000)"},{"key":"10_CR2","series-title":"A Method for High-Level System Design and Analysis","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"10_CR3","first-page":"71","volume":"77","author":"R. Farahbod","year":"2007","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: Coreasm: an extensible asm execution engine. Fundamenta Informaticae\u00a077, 71\u2013103 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/3-540-48257-1_21","volume-title":"Applied Formal Methods - FM-Trends 98","author":"G.D. Castillo","year":"1999","unstructured":"Castillo, G.D.: Towards comprehensive tool support for abstract state machines. In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds.) FM-Trends 1998. LNCS, vol.\u00a01641, pp. 311\u2013325. Springer, Heidelberg (1999)"},{"key":"10_CR5","unstructured":"Winter, K.: Model Checking Abstract State Machines. PhD thesis, Technical University of Berlin, Germany (2001)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-46419-0_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G.D. Castillo","year":"2000","unstructured":"Castillo, G.D., Winter, K.: Model checking support for the asm high-level language. In: Graf, S., Schwartzbach, M. (eds.) TACAS 2000. LNCS, vol.\u00a01785, pp. 331\u2013346. Springer, Heidelberg (2000)"},{"key":"10_CR7","unstructured":"Gargantini, A., Riccobene, E.: ASM-based Testing: coverage criteria and automatic tests generation. In: Moreno-D\u00edaz, R., Quesada-Arencibia, A. (eds.) Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001), Canary Islands, Spain, Universidad de Las Palmas de Gran Canaria, February 2001, pp. 262\u2013265 (2001)"},{"key":"10_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/11591191_31","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"C.K.F. Tang","year":"2005","unstructured":"Tang, C.K.F., Ternovska, E.: Model checking abstract state machines with answer set programming. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol.\u00a03835, pp. 443\u2013458. Springer, Heidelberg (2005)"},{"key":"10_CR9","unstructured":"Kardos, M.: An approach to model checking asml specifications. In: Proceedings of the 12th International Workshop on Abstract State Machines, pp. 289\u2013304 (2005)"},{"key":"10_CR10","unstructured":"Ouimet, M., Lundqvist, K.: The timed abstract state machine language: Abstract state machines for real-time system engineering. In: Proceedings ASM 2007 (2007)"},{"key":"10_CR11","unstructured":"Farahbod, R., Gl\u00e4sser, U., Ma, G.: Model checking coreasm specifications. In: Proceedings ASM 2007 (2007)"},{"key":"10_CR12","unstructured":"Ma, G.Z.: Model checking support for coreasm: Model checking distributed abstract state machines using spin. Master\u2019s thesis, Simon Fraser University, Burnaby, Canada (2007)"},{"key":"10_CR13","volume-title":"Proc. 2nd Int. Symp. Leveraging Applications of Formal Methods, Verification and Validation (IEEE-ISoLA)","author":"B. Schlich","year":"2006","unstructured":"Schlich, B., Kowalewski, S.: [MC]SQUARE: A model checker for microcontroller code. In: Margaria, T., Philippou, A., Steffen, B. (eds.) Proc. 2nd Int. Symp. Leveraging Applications of Formal Methods, Verification and Validation (IEEE-ISoLA). IEEE Computer Society, Los Alamitos (to appear, 2006)"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1109\/SIES.2007.4297337","volume-title":"Proc. IEEE 2nd Int. Symp. Industrial Embedded Systems (SIES)","author":"B. Schlich","year":"2007","unstructured":"Schlich, B., Salewski, F., Kowalewski, S.: Applying model checking to an automotive microcontroller application. In: Proc. IEEE 2nd Int. Symp. Industrial Embedded Systems (SIES), pp. 209\u2013216. IEEE, Los Alamitos (2007)"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/3-540-57208-2_31","volume-title":"CONCUR\u201993","author":"B. Vergauwen","year":"1993","unstructured":"Vergauwen, B., Lewi, J.: A linear local model checking algorithm for ctl. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 447\u2013461. Springer, Heidelberg (1993)"},{"key":"10_CR16","unstructured":"Heljanko, K.: Model checking the branching time temporal logic ctl. Research Report A45, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland (May 1997)"},{"key":"10_CR17","unstructured":"Schlich, B., Kowalewski, S.: An extendable architecture for model checking hardware-specific automotive microcontroller code. In: Schnieder, E., Tarnai, G. (eds.) Proc. 6th Symp. Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS\/FORMAT), GZVB, Braunschweig, Germany, pp. 201\u2013212 (2007)"},{"issue":"5","key":"10_CR18","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0020-0190(83)90092-3","volume":"16","author":"E. Dijkstra","year":"1983","unstructured":"Dijkstra, E., Feijen, W., Gasteren, A.: Derivation of a Termination Detection Algorithm for Distributed Computations. Information Processing Letters\u00a016(5), 217\u2013219 (1983)","journal-title":"Information Processing Letters"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Kuskin, J., Ofelt, D., Heinrich, M., Heinlein, J., Simoni, R., Gharachorloo, K., Chapin, J., Nakahira, D., Baxter, J., Horowitz, M., et al.: The Stanford FLASH multiprocessor. In: Kuskin, J., Ofelt, D., Heinrich, M., Heinlein, J., Simoni, R., Gharachorloo, K., Chapin, J., Nakahira, D., Baxter, J., Horowitz, M., et al. (eds.) Proceedings the 21st Annual International Symposium on Computer Architecture, pp. 302\u2013313 (1994)","DOI":"10.1109\/ISCA.1994.288140"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1720","DOI":"10.1007\/3-540-48118-4_41","volume-title":"FM\u201999 - Formal Methods","author":"R. Eschbach","year":"1999","unstructured":"Eschbach, R.: A Termination Detection Algorithm: Specification and Verification. In: Wing, J., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 1720\u20131737. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, B and Z"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87603-8_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:43:28Z","timestamp":1619523808000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87603-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876021","9783540876038"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87603-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}