{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:06:43Z","timestamp":1725484003388},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439974"},{"type":"electronic","value":"9783540456575"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45657-0_48","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T10:59:43Z","timestamp":1179572383000},"page":"569-582","source":"Crossref","is-referenced-by-count":6,"title":["Compressing Transitions for Model Checking"],"prefix":"10.1007","author":[{"given":"Robrt","family":"Kurshan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Levin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H\u00fcsn\u00fc","family":"Yenig\u00fcn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"48_CR1","doi-asserted-by":"crossref","unstructured":"Marius Bozga, Jean-Claude Fernandez, and Lucian Ghirvu. State space reduction based on live variables analysis. In Static Analysis Symposium, pages 164\u2013178, Venezia, Italy, 1999.","DOI":"10.1007\/3-540-48294-6_11"},{"key":"48_CR2","volume-title":"Technical Report TR-96-11","author":"H. Schoot Van der","year":"1996","unstructured":"H. Van der Schoot and H. Ural. An improvement on partial order model checking with ample sets. Technical Report TR-96-11, Univ. of Ottawa, Canada, 1996."},{"issue":"8","key":"48_CR3","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E. W. Dijkstra","year":"1975","unstructured":"E. W. Dijkstra. Guarded commands, nondeterminacy, and formal derivation of programs. Communications of ACM, 18(8):453\u2013457, August 1975.","journal-title":"Communications of ACM"},{"key":"48_CR4","series-title":"PhD thesis","volume-title":"Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem","author":"P. Godefroid","year":"1994","unstructured":"P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem. PhD thesis, University of Li\u00e9ge, Li\u00e9ge, Belgium, November 1994."},{"key":"48_CR5","series-title":"Lect Notes Comput Sci","volume-title":"6th Workshop on SPIN","author":"G. J. Holzmann","year":"1999","unstructured":"G. J. Holzmann. The engineering of a model checker: The gnu i-protocol case study revised. In 6th Workshop on SPIN, LNCS 1680, 1999."},{"key":"48_CR6","unstructured":"ITU-T, Geneva. Functional Specification and Description Language (SDL), Recommendation Z.100, March 1993."},{"key":"48_CR7","unstructured":"R. P. Kurshan, V. Levin, M. Minea, D. Peled, and H. Yenig\u00fcn. Combining hardware and software verification tecniques. Formal Methods in System Design. accepted for publication."},{"key":"48_CR8","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1007\/3-540-45657-0_48","volume-title":"Computer Aided Verification","author":"Robrt Kurshan","year":"2002","unstructured":"R. P. Kurshan, V. Levin, and H. Yenig\u00fcn. Compressing transitions for model checking. Technical report, Bell Labs, Lucent Technologies, 2002."},{"key":"48_CR9","doi-asserted-by":"crossref","unstructured":"R. P. Kurshan. Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach. Princeton University Press, 1994.","DOI":"10.1515\/9781400864041"},{"key":"48_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/BFb0054182","volume-title":"4th International Conference Tools and Algorithms for the Construction and Analysis of Systems","author":"R. P. Kurshan","year":"1998","unstructured":"R. P. Kurshan, V. Levin, M. Minea, D. Peled, and H. Yenigun. Static partial order reduction. In 4 th International Conference Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1384, pages 345\u2013357, Portugal, 1998."},{"key":"48_CR11","unstructured":"L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Information Processing, pages 657\u2013668, Paris, September 1983. Elsevier Science Publishers."},{"key":"48_CR12","doi-asserted-by":"crossref","unstructured":"V. Levin and H. Yenigun. SDLCheck: A model checking tool. In 13th CAV, France, 2001.","DOI":"10.1007\/3-540-44585-4_36"},{"key":"48_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-56922-7_34","volume-title":"5th CAV","author":"D. Peled","year":"1993","unstructured":"D. Peled. All from one, one for all-on model checking using representatives. In 5th CAV, LNCS 697, pages 409\u2013423, Crete, June 1993. Springer-Verlag."},{"issue":"3","key":"48_CR14","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1023\/A:1011202615884","volume":"19","author":"Doron Peled","year":"2001","unstructured":"D. Peled, A. Valmari, and I. Kokkarinen. Relaxed visibility enhances partial order reduction. Formal Methods in System Design, 19(3), November 2001.","journal-title":"Formal Methods in System Design"},{"key":"48_CR15","doi-asserted-by":"crossref","unstructured":"A. Pnueli. The temporal logics of programs. In 18th Annual IEEE-CS Symposium on Foundations of Computer Science, pages 46\u201357, Cambridge, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"48_CR16","series-title":"Lect Notes Comput Sci","first-page":"156","volume-title":"2nd CAV","author":"A. Valmari","year":"1990","unstructured":"A. Valmari. A stubborn attack on state explosion. In 2nd CAV, LNCS 531, pages 156\u2013165, Rutgers, June 1990. Springer-Verlag."},{"key":"48_CR17","series-title":"PhD thesis","volume-title":"Static Partial Order Reduction and Model Checking of HW\/SW Co-Design Systems","author":"H. Yenig\u00fcn","year":"2000","unstructured":"H. Yenig\u00fcn. Static Partial Order Reduction and Model Checking of HW\/SW Co-Design Systems. PhD thesis, Middle East Technical University, Turkey, 2000."},{"key":"48_CR18","series-title":"PhD thesis","volume-title":"Exploiting Syntactic Structure for Automatic Verification","author":"K. Yorav","year":"2000","unstructured":"K. Yorav. Exploiting Syntactic Structure for Automatic Verification. PhD thesis, The Technion-Israel Institute of Technology, Haifa, Israel, 2000."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45657-0_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T01:21:24Z","timestamp":1556414484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45657-0_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439974","9783540456575"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45657-0_48","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}