Reachability Analysis of Timed Transition Systemsbased on Constraint

Abstract

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)

Topics

Figures and Tables

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

Slides referencing similar topics