Now showing items 1-1 of 1

    • Proving Safety Properties of Hybrid Systems 

      Kapur, Arjun; Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir (Cornell University, 1994-10)
      We propose a methodology for the specification, verification, and design of hybrid systems. The methodology consists of the computational model of Concrete Phase Transition Systems, the specification language of Hybrid ...