Event Order Abstraction for Parametric Real-Time System Verification
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 constraints on the systems' behavior. By using EOA, one can se...
Main Author: | Umeno, Shinya |
---|---|
Other Authors: | Nancy Lynch |
Published: |
2008
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/41891 |
Similar Items
-
A Really Good Example Helps Learning About an Abstract Concept
by: Ava Funkhouser, et al.
Published: (2023-01-01) -
Abstraction of Dynamical Systems by Timed Automata
by: Rafael Wisniewski, et al.
Published: (2011-04-01) -
Abstract Layer for LeakyReLU for Neural Network Verification Based on Abstract Interpretation
by: Omar El Mellouki, et al.
Published: (2023-01-01) - International petroleum abstracts (Incorporating Offshore Abstracts)/
-
Pre-service mathematics teachers’ abstraction of rotational symmetry
by: Gülşade Savaş, et al.
Published: (2023-06-01)