{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:39:47Z","timestamp":1778297987809,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540643562","type":"print"},{"value":"9783540697534","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054180","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T05:43:43Z","timestamp":1153979023000},"page":"313-329","source":"Crossref","is-referenced-by-count":94,"title":["Model checking of real-time reachability properties using abstractions"],"prefix":"10.1007","author":[{"given":"Conrado","family":"Daws","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,25]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"P. Abdulla and B. Jonsson. Verifying networks of timed processes. 1997. To appear.","DOI":"10.1007\/BFb0054179"},{"key":"21_CR2","unstructured":"R. Alur. Techniques for automatic verification of real-time systems. PhD thesis, Stanford University, 1991."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"F. Balarin. Approximate reachability analysis of timed automata. In Proc. 17th IEEE Real-Time Systems Symposium, 1996.","DOI":"10.1109\/REAL.1996.563700"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"A. Bouajjani, S. Tripakis, and S. Yovine. On-the-fly symbolic model checking for real-time systems. In Proc. of the 18th IEEE Real-Time Systems Symposium, 1997.","DOI":"10.1109\/REAL.1997.641266"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"M. Bozga, O. Maler, A. Pnueli, and S. Yovine. Some progress in the symbolic verification of timed automata. In Proc. of the 8th Conference on Computer-Aided Verification, 1997.","DOI":"10.1007\/3-540-63166-6_19"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4th ACM Symposium on Principles of Programming Languages, 1977.","DOI":"10.1145\/512950.512973"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Hybrid Systems III. LNCS 1066, 1996.","DOI":"10.1007\/BFb0020947"},{"key":"21_CR8","unstructured":"C. Daws, A. Olivero, and S. Yovine. Verification autom\u00e1tica de sistemas temporizados utilizando Kronos. In Proc. Jornadas de Inform\u00e1tica y Telecomunicaciones de la IEEE (seccion Uruguay), 1996."},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"C. Daws and S. Tripakis. Model checking of real-time reachability properties using abstractions (full version). Technical Report 97-08, Verimag, October 1997. http:\/\/www.imag.fr\/VERIMAG\/PEOPLE\/Conrado.Daws .","DOI":"10.1007\/BFb0054180"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"C. Daws and S. Yovine. Reducing the number of clock variables of timed automata. In Proc. 17th IEEE Real-Time Systems Symposium, RTSS'96, 1996.","DOI":"10.1109\/REAL.1996.563702"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"D. Dill. Timing assumptions and verification of finite-state concurrent systems. In Proc. 1st Intl. Workshop on Computer-Aided Verification, 1989.","DOI":"10.1007\/3-540-52148-8_17"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Delay analysis in synchronous programs. In 5th Conference on Computer-Aided Verification. LNCS 697, 1993.","DOI":"10.1007\/3-540-56922-7_28"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"T. Henzinger, P. Ho, and H. Wong-Toi. Hytech: The next generation. In Proc. 16th IEEE Real-time Systems Symposium, 1995.","DOI":"10.1109\/REAL.1995.495196"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 1994.","DOI":"10.1006\/inco.1994.1045"},{"key":"21_CR15","unstructured":"R. Jain. FDDI handbook: high-speed networking using fiber and other media. Addison-Wesley, 1994."},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Kristoffersen, F. Laroussinie, K. Larsen, P. Petterson, and W. Yi. A compositional proof of a real time mutual exclusion protocol. In Proc. of the 7th Intl. Conf. on the Theory and Practice of Software Development, 1997.","DOI":"10.1007\/BFb0030626"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"K. Larsen, F. Larsson, P. Pettersson, and W. Yi. Efficient verification of real-time systems: Compact data structures and state-space reduction. In Proc. of the 18th IEEE Real-Time Systems Symposium, 1997.","DOI":"10.1109\/REAL.1997.641265"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"K. Larsen, P. Petterson, and W. Yi. Compositional and symbolic model-checking of real-time systems. In Proc. 16th IEEE Real-Time Systems Symposium, 1995.","DOI":"10.1109\/REAL.1995.495198"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 1995.","DOI":"10.1007\/BF01384313"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"S. Tripakis and C. Courcoubetis. Extending promela and spin for real time. In TACAS'96. LNCS 1055, 1996.","DOI":"10.1007\/3-540-61042-1_53"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"H. Wong-Toi. Symbolic Approximations for Verifying Real-Time Systems. PhD thesis, Stanford University, 1995.","DOI":"10.1142\/9789812831583_0007"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054180","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T06:53:47Z","timestamp":1683528827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054180"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643562","9783540697534"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0054180","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}