IEEE - Institute of Electrical and Electronics Engineers, Inc. - Automated Verification of Continuous Time Systems by Discrete Temporal Induction

Thirteenth International Symposium on Temporal Representation and Reasoning

Author(s): A. Gargantini ; A. Morzenti
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Budapest, Hungary
Conference Date: 15 June 2006
Page(s): 19 - 26
ISBN (Paper): 0-7695-2617-9
ISSN (Paper): 1530-1311
DOI: 10.1109/TIME.2006.8
Regular:

We present a temporal framework suitable for the specification and verification of safety properties of real time hybrid systems. We show that, given suitable assumptions (like non-Zenoness and... View More

Advertisement