A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is `application/pdf`

.

##
###
An Abstraction Technique for Real-Time Verification
[chapter]

2007
*
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
*

In real-time systems, correctness depends on the time at which events occur. Examples of real-time systems include timed protocols and many embedded system controllers. Timed automata are an extension of finite-state automata that include real-valued clock variables used to measure time. Given a timed automaton, an equivalent finite-state region automaton can be constructed, which guarantees decidability. Timed model checking tools like Uppal, Kronos, and Red use specialized data structures to

doi:10.1007/978-1-4020-6254-4_1
fatcat:4fb6qi2yejh7zonpqe3re22bwi