{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:03:17Z","timestamp":1754481797559},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664598"},{"type":"electronic","value":"9783540482949"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48294-6_11","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T20:16:02Z","timestamp":1186172162000},"page":"164-178","source":"Crossref","is-referenced-by-count":15,"title":["State Space Reduction Based on Live Variables Analysis"],"prefix":"10.1007","author":[{"given":"Marius","family":"Bozga","sequence":"first","affiliation":[]},{"given":"Jean-Claude","family":"Fernandez","sequence":"additional","affiliation":[]},{"given":"Lucian","family":"Ghirvu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,10,1]]},"reference":[{"key":"11_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of CAV\u201998","author":"P. Abdulla","year":"1998","unstructured":"P. Abdulla, A. Bouajjani, and B. Jonsson. On-the-fly Analysis of Systems with Unbounded, Lossy Fifo Channels. In Proceedings of CAV\u201998, Vancouver, Canada, volume 1427 of LNCS, 1998."},{"key":"11_CR2","volume-title":"Compilers: Principles, Techniques and Tools","author":"A. Aho","year":"1986","unstructured":"A. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, Readings, MA, 1986."},{"key":"11_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of CAV\u201998","author":"S. Bensalem","year":"1998","unstructured":"S. Bensalem, Y. Lakhnech, and S. Owre. Computing Abstractions of Infinite State Systems Compositionally and Automatically. In Proceedings of CAV\u201998 (Vancouver, Canada), volume 1427 of LNCS, 1998."},{"key":"11_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of CAV\u201996","author":"B. Boigelot","year":"1996","unstructured":"B. Boigelot and P. Godefroid. Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs. In Proceedings of CAV\u201996, New Brunswick, USA, volume 1102 of LNCS, 1996."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"M. Bozga, J.-C. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, L. Mounier, and J. Sifakis. IF: An Intermediate Representation for SDL and its Applications. In Proceedings of SDL-FORUM\u201999, Montreal, Canada, 1999.","DOI":"10.1016\/B978-044450228-5\/50028-X"},{"key":"11_CR6","unstructured":"M. Bozga, J.-C. Fernandez, L. Ghirvu, C. Jard, T. J\u00e9ron, A. Kerbrat, P. Morel, and L. Mounier. Verification and Test Generation for the SSCOP Protocol. SCP, 1998. to appear."},{"issue":"1+2","key":"11_CR7","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/s100090050012","volume":"1","author":"M. Bozga","year":"1997","unstructured":"M. Bozga, J.-C. Fernandez, A. Kerbrat, and L. Mounier. Protocol Verification with the Aldebaran Toolset. Springer International Journal on Software Tools for Technology Transfer, 1(1+2):166\u2013183, December 1997.","journal-title":"Springer International Journal on Software Tools for Technology Transfer"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"E.M. Clarke, E.A. Emerson, and E. Sistla. Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. In Proceedings of 10th ACM Symposium on Programming Languages, 1983.","DOI":"10.1145\/567067.567080"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"C. Colby, P. Godefroid, and L.J. Jagadeesan. Automatically Closing Open Reactive Systems. In Proceedings of ACM SIGPLAN on PLDI, June 1998.","DOI":"10.1145\/277650.277754"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"C. Daws and S. Yovine. Reducing the Number of Clock Variables of Timed Automata. In Proceedings of RTSS\u201996, 1996.","DOI":"10.1109\/REAL.1996.563702"},{"key":"11_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of CAV\u201996","author":"J.-C. Fernandez","year":"1996","unstructured":"J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. CADP: A Protocol Validation and Verification Toolbox. In Proceedings of CAV\u201996, New Brunswick, USA, volume 1102 of LNCS, 1996."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"J.-C. Fernandez, C. Jard, T. J\u00e9ron, and L. Mounier. \u201cOn the Fly\u201d Verification of Finite Transition Systems. Formal Methods in System Design, 1992.","DOI":"10.1007\/978-1-4615-3556-0_4"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"J.-C. Fernandez, C. Jard, T. J\u00e9ron, and C. Viho. An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. SCP, 29, 1997.","DOI":"10.1016\/S0167-6423(96)00032-9"},{"key":"11_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of CAV\u201993","author":"J.-C. Fernandez","year":"1993","unstructured":"J.-C. Fernandez, A. Kerbrat, and L. Mounier. Symbolic Equivalence Checking. In Proceedings of CAV\u201993, Heraklion, Greece, volume 697 of LNCS, 1993."},{"key":"11_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial-Order Methods for the Verification of Concurrent Systems\u2013An Approach to the State Explosion Problem","author":"P. Godefroid","year":"1996","unstructured":"P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems\u2013An Approach to the State Explosion Problem. volume 1032 of LNCS, 1996."},{"key":"11_CR16","unstructured":"ISO\/IEC. LOTOS\u2013A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. Technical Report 8807, International Organization for Standardization\u2013Information Processing Systems\u2013Open Systems Interconnection, 1988."},{"key":"11_CR17","unstructured":"ITU-T. Recommendation Z-100. Specification and Description Language (SDL). 1994."},{"key":"11_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of TACAS\u201998","author":"R. Kurshan","year":"1998","unstructured":"R. Kurshan, V. Levin, M. Minea, D. Peled, and H. Yenig\u00fcn. Static Partial Order Reduction. In Proceedings of TACAS\u201998, Lisbon, Portugal, volume 1384 of LNCS, 1998."},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"K.L. McMillan. Symbolic Model Checking: an Approach to the State Explosion Problem. Kluwer Academic Publisher, 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"11_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus of Communication Systems. In LNCS, number 92. 1980."},{"key":"11_CR21","volume-title":"Advanced Compiler Design Implementation","author":"S. Muchnick","year":"1997","unstructured":"S. Muchnick. Advanced Compiler Design Implementation. Morgan Kaufmann Publishers, San Francisco, CA, 1997."},{"key":"11_CR22","series-title":"Lect Notes Comput Sci","volume-title":"International Symposium on Programming","author":"J.P. Queille","year":"1982","unstructured":"J.P. Queille and J. Sifakis. Specification and Verification of Concurrent Programs in CESAR. In International Symposium on Programming, volume 137 of LNCS, 1982."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48294-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T18:58:48Z","timestamp":1556737128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48294-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664598","9783540482949"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-48294-6_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}