{"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","quality_controlled":"1","language":[{"iso":"eng"}],"publist_id":"223","date_published":"1992-01-01T00:00:00Z","year":"1992","alternative_title":["LNCS"],"date_updated":"2022-03-14T09:47:09Z","extern":"1","publication_status":"published","publisher":"Springer","page":"545 - 558","type":"conference","article_processing_charge":"No","author":[{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"},{"full_name":"Manna, Zohar","last_name":"Manna","first_name":"Zohar"},{"full_name":"Pnueli, Amir","last_name":"Pnueli","first_name":"Amir"}],"date_created":"2018-12-11T12:09:11Z","intvolume":"       623","day":"01","title":"What good are digital clocks?","citation":{"ista":"Henzinger TA, Manna Z, Pnueli A. 1992. What good are digital clocks? 19th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 623, 545–558.","short":"T.A. Henzinger, Z. Manna, A. Pnueli, in:, 19th International Colloquium on Automata, Languages and Programming, Springer, 1992, pp. 545–558.","chicago":"Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “What Good Are Digital Clocks?” In <i>19th International Colloquium on Automata, Languages and Programming</i>, 623:545–58. Springer, 1992. <a href=\"https://doi.org/10.1007/3-540-55719-9_103\">https://doi.org/10.1007/3-540-55719-9_103</a>.","ama":"Henzinger TA, Manna Z, Pnueli A. What good are digital clocks? In: <i>19th International Colloquium on Automata, Languages and Programming</i>. Vol 623. Springer; 1992:545-558. doi:<a href=\"https://doi.org/10.1007/3-540-55719-9_103\">10.1007/3-540-55719-9_103</a>","ieee":"T. A. Henzinger, Z. Manna, and A. Pnueli, “What good are digital clocks?,” in <i>19th International Colloquium on Automata, Languages and Programming</i>, Vienna, Austria, 1992, vol. 623, pp. 545–558.","apa":"Henzinger, T. A., Manna, Z., &#38; Pnueli, A. (1992). What good are digital clocks? In <i>19th International Colloquium on Automata, Languages and Programming</i> (Vol. 623, pp. 545–558). Vienna, Austria: Springer. <a href=\"https://doi.org/10.1007/3-540-55719-9_103\">https://doi.org/10.1007/3-540-55719-9_103</a>","mla":"Henzinger, Thomas A., et al. “What Good Are Digital Clocks?” <i>19th International Colloquium on Automata, Languages and Programming</i>, vol. 623, Springer, 1992, pp. 545–58, doi:<a href=\"https://doi.org/10.1007/3-540-55719-9_103\">10.1007/3-540-55719-9_103</a>."},"publication":"19th International Colloquium on Automata, Languages and Programming","conference":{"name":"ICALP: Automata, Languages and Programming","start_date":"1992-07-13","end_date":"1992-07-17","location":"Vienna, Austria"},"volume":623,"status":"public","oa_version":"None","_id":"4504","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-55719-9_103"}],"acknowledgement":"A full version of this paper (including all proofs) is available as a technical report from Cornell University and Stanford University. The research was supported in part by the National Science Foundation under grants CCR-89-11512 and CCR-89-13641, by the Defense Advanced Research Projects Agency under contract NAG2-703, by the United States Air Force Office of Scientific Research under contract AFOSR-90-0057, and by the European Community ESPRIT Basic Research Action Project 3096 (SPEC).\r\n\r\nSponsors: National Science Foundation grant CCR-89-11512,  National Science Foundation grant CCR-89-13641, Defense Advanced Research Projects Agency contract NAG2-703, United States Air Force Office of Scientific Research contract AFOSR-90-0057, European Community ESPRIT Basic Research Action Project 3096 (SPEC).\r\n","abstract":[{"text":"Real-time systems operate in “real,” continuous time and state changes may occur at any real-numbered time point. Yet many verification methods are based on the assumption that states are observed at integer time points only. What can we conclude if a real-time system has been shown “correct” for integral observations?\r\n\r\nInteger time verification techniques suffice if the problem of whether all real-numbered behaviors of a system satisfy a property can be reduced to the question of whether the integral observations satisfy a (possibly modified) property. We show that this reduction is possible for a large and important class of systems and properties: the class of systems includes all systems that can be modeled as timed transition systems; the class of properties includes time-bounded invariance and time-bounded response.","lang":"eng"}],"doi":"10.1007/3-540-55719-9_103","month":"01"}