{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:29:13Z","timestamp":1725564553014},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540211792"},{"type":"electronic","value":"9783540246268"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24626-8_20","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T07:32:45Z","timestamp":1283671965000},"page":"283-296","source":"Crossref","is-referenced-by-count":0,"title":["Model-Checking Complex Software \u2013 A Memory Perspective"],"prefix":"10.1007","author":[{"given":"Murali","family":"Rangarajan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darren","family":"Cofer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Design Description Document for the Digital Engine Operating System, Honeywell specification no. PS7022409"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"A. Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Zhu, Y.: Symbolid Model Checking without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol.\u00a01579, p. 193. Springer, Heidelberg (1999)"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Binns, P.: A robust high-performance time partitioning algorithm: the Digital Engine Operating System (DEOS) approach. In: 20th Digital Avionics System Conference Proceedings (October 2001)","DOI":"10.1109\/DASC.2001.963309"},{"key":"20_CR4","unstructured":"Avrunin, G.S., Corbett, J.C., Dwyer, M.B., Pasareanu, C.S., Siegel, S.F.: Comparing finite-state verification techniques for concurrent software, Technical Report UM-CS-1999-069, Department of Computer Science, University of Massachusetts (November 1999)"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Havelund, K., Pressburger, T.: Model Checking Java Programs Using Java Path-Finder. International Journal on Software Tools for Technology Transfer (STTT)\u00a02(4) (April 2000)","DOI":"10.1007\/s100090050043"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Holzmann, G.: An analysis of bitstate hashing. Formal Methods in Systems Design (November 1998)","DOI":"10.1023\/A:1008696026254"},{"issue":"5","key":"20_CR7","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The model checker Spin. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Lehoczky, J.P., Ramos-Thuel, S.: An optimal algorithm for scheduling aperiodic tasks in fixed-priority preemptive systems. In: IEEE Real-Time Systems Symposium (December 1992)","DOI":"10.1109\/REAL.1992.242671"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Lerda, F., Sisto, R.: Distributed Memory Model Checking with SPIN. In: 5th International SPIN Workshop on Theoretical Aspects of Model Checking (July 1999)","DOI":"10.1007\/3-540-48234-2_3"},{"issue":"1","key":"20_CR10","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"Liu, C.L., Leyland, J.W.: Scheduling Algorithms for Multiprogramming in a Hard Real Time Environment. Journal of the ACM\u00a020(1), 46\u201361 (1973)","journal-title":"Journal of the ACM"},{"key":"20_CR11","unstructured":"Penix, J., Visser, W., Engstrom, E., Larson, A., Weininger, N.: Translation and Verification of the Deos Scheduling Kernel. Technical report, NASA Ames Research Center\/ Honeywell Technology Center (October 1999)"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Owre, S., Rushby, J.M., Shankar, N.: PVS: A Prototype Verification System. In: 11th Conference on Automated Deduction, Saratoga, NY (June 1992)","DOI":"10.1007\/3-540-55602-8_217"},{"key":"20_CR13","unstructured":"The Bandera Project, \n                  \n                    http:\/\/www.cis.ksu.edu\/santos\/bandera\/"},{"key":"20_CR14","unstructured":"The SMV system, \n                  \n                    http:\/\/www-2.cs.cmu.edu\/~modelcheck\/smv.html"}],"container-title":["Lecture Notes in Computer Science","Radical Innovations of Software and Systems Engineering in the Future"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24626-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,19]],"date-time":"2019-03-19T20:46:15Z","timestamp":1553028375000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24626-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540211792","9783540246268"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24626-8_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}