Browsing by Subject "event-based approach"
Now showing items 1-1 of 1
-
Event Order Abstraction for Parametric Real-Time System Verification
(2008-07-28)We present a new abstraction technique, event order abstraction (EOA), for parametric safety verification of real-time systems in which ``correct orderings of events'' needed for system correctness are maintained by timing ...