Manna, Zohar - Department of Computer Science, Stanford University

Advanced Search

Manna, Zohar - Department of Computer Science, Stanford University

What's Decidable About Arrays? Aaron R. Bradley, Zohar Manna, and Henny B. Sipma
Temporal Proof Methodologies for Timed Transition Systems 1;2
Temporal Proof Methodologies for Realtime Systems \Lambda
The Anchored Version of the Temporal Framework \Lambda Zohar Manna
Verification Constraint Problems with Strengthening
Verification of Parameterized Zohar Manna and Amir Pnueli
A Decision Algorithm Full Propositional Temporal Logic ?
On the Faithfulness of Formal Models \Lambda Zohar Manna Amir Pnueli
Completing the Temporal Picture \Lambday Zohar Manna
A Temporal Proof Methodology for Reactive Systems \Lambda Zohar Manna
Timed Transition Systems 1 Thomas A. Henzinger
A Temporal Proof Methodology for Reactive Systems \Lambday
Temporal Specification and Verification of Reactive Modules \Lambda
Combining Decision Procedures Zohar Manna and Calogero G. Zarba
From Timed to Hybrid Systems \Lambda inria/irisa y
Temporal Verification of Simulation and Refinement ?
The SafetyProgress Classification \Lambda Edward Chang, 1 Zohar Manna, 1;2 and Amir Pnueli 2
A Hierarchy of Temporal Properties \Lambda Zohar Manna
Proving Safety Properties of Hybrid Systems ? Arjun Kapur 1?? Thomas A. Henzinger 2 Zohar Manna 1 Amir Pnueli 3
What Good Are Digital Clocks? \Lambda Thomas A. Henzinger y Zohar Manna z Amir Pnueli x
Verifying Hybrid Systems ? Zohar Manna 1 and Amir Pnueli 2
Time for Concurrency \Lambda Zohar Manna y Amir Pnueli z
Tools and Rules for the Practicing Verifier \Lambda Zohar Manna
Characterization of Temporal Property Classes \Lambda Edward Chang y & Zohar Manna y & Amir Pnueli z