Hybrid Verification by Exploiting the Environment* Limor Fix** and Fred B. Schneider Department of Computer Science, CorneU University, Ithaca, New York[removed]A b s t r a c t . A method for verifying hybrid systems is g - Static variable - Document - PDFSEARCH.IO

First Page	Meta Content
	Hybrid Verification by Exploiting the Environment* Limor Fix** and Fred B. Schneider Department of Computer Science, CorneU University, Ithaca, New York[removed]A b s t r a c t . A method for verifying hybrid systems is g Add to Reading List Document Date: 2013-09-13 00:16:30 Open Document File Size: 891,27 KB Share Result on Facebook City Ithaca / / Currency USD / / Facility CorneU University / / IndustryTerm chemical / hybrid systems / / Organization Environment* Limor Fix** and Fred B. Schneider Department of Computer Science / National Science Foundation / CorneU University / National Aeronautics and Space Administration / office of Naval Research / / Person Fred B. Schneider / / Position author / guard / / ProgrammingLanguage AdA / / ProvinceOrState New York / / SocialTag Procedural programming languages Algebra Logical syntax Variables Parallel computing FO Static single assignment form Free variables and bound variables Environment variable Mathematics

Hybrid Verification by Exploiting the Environment* Limor Fix** and Fred B. Schneider Department of Computer Science, CorneU University, Ithaca, New York[removed]A b s t r a c t . A method for verifying hybrid systems is gAdd to Reading List