Zohar Manna
14 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
STeP: Deductive-algorithmic verification of reactive and real-time systems
Nikolaj Bjørner and others (1996) · Lecture notes in computer science · Springer Science+Business Media
Temporal Verification of Reactive Systems: Safety
Zohar Manna and others (1995) · Springer Nature
From timed to hybrid systems
Oded Maler and others (1992) · Lecture notes in computer science · Springer Science+Business Media
The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna and others (1992) · Springer New York
The Logical Basis for Computer Programming
Zohar Manna and others (1985) · Addison-Wesley
A hardware semantics based on temporal intervals
Joseph Halpern and others (1983) · Automata, Languages and Programming · Springer-Verlag
Basic Research in Artificial Intelligence and Foundations of Programming
John McCarthy and others (1980) · Stanford University
The Modal Logic of Programs
Zohar Manna and others (1979) · Defense Technical Information Center
Decidable Properties of Monadic Functional Schemas
Edward A. Ashcroft and others (1973) · Journal of the ACM · Association for Computing Machinery
Inductive methods for proving properties of programs
Zohar Manna and others (1973) · Communications of the ACM · Association for Computing Machinery
Fixpoint approach to the theory of computation
Zohar Manna and others (1972) · Communications of the ACM · Association for Computing Machinery (ACM)
Mathematical theory of partial correctness
Zohar Manna (1971) · Lecture notes in mathematics · Springer Nature
Formalization of Properties of Functional Programs
Zohar Manna and others (1970) · Journal of the ACM · Association for Computing Machinery (ACM)
The correctness of programs
Zohar Manna (1969) · Journal of Computer and System Sciences · Elsevier BV