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: | |
---|---|
Other Authors: | |
Published: |
2008
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/41891 |