Now showing items 1-4 of 4

    • 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 ...
    • Temporal Proof Methodologies for Timed Transition Systems 

      Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir (Cornell University, 1993-03)
      We extend the specification language of temporal logic, the corresponding verification framework, and the underlying computational model to deal with real-time properties of reactive systems. The abstract notion of timed ...
    • Timed Transition Systems 

      Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir (Cornell University, 1992-01)
      We incorporate time into an interleaving model of concurrency. In timed transition systems, the qualitative fairness requirements of traditional transition system are replaced (and superseded) by quantitative lower-bound ...
    • Towards Refining Temporal Specifications into Hybrid Systems 

      Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir (Cornell University, 1993-05)
      We propose a formal framework for designing hybrid systems by stepwise refinement. Starting with a specification in hybrid temporal logic, we make successively more transitions explicit until we obtain an executable system.