Reachability Analysis of Timed Transition Systemsbased on Constraint


Transition systems with timing constraints are a well known abstract representation of real time systems. EEcient analysis of timed transition systems is therefore a basis for real time veriication. In this paper we introduce an algorithm for reachability analysis of timed transition systems with forced events which is based on an intuitive concept of… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics