College of Engineering >
Computer Science >
Computer Science Technical Reports >
Please use this identifier to cite or link to this item:
|Title: ||Hybrid Verification by Exploiting the Environment|
|Authors: ||Fix, Limor|
Schneider, Fred B.
|Keywords: ||computer science|
|Issue Date: ||Jul-1994|
|Publisher: ||Cornell University|
|Abstract: ||A method of verifying hybrid systems is given. Such systems involve state components whose values are changed by continuous (physical) processes. The verification method is based on proving that only those executions that satisfy constraints imposed by an environment also satisfy the property of interest. A suitably expressive logic then allows the environment to model state components that are changed by physical processes.|
|Appears in Collections:||Computer Science Technical Reports|
Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.