Skip to main content


eCommons@Cornell

eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/6222
Title: Hybrid Verification by Exploiting the Environment
Authors: Fix, Limor
Schneider, Fred B.
Keywords: computer science
technical report
Issue Date: Jul-1994
Publisher: Cornell University
Citation: http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR94-1436
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.
URI: http://hdl.handle.net/1813/6222
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
94-1436.pdf1.55 MBAdobe PDFView/Open
94-1436.ps371.08 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us