Zohar Manna

According to our database, Zohar Manna authored at least 171 papers between 1969 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2010

Temporal Verification of Reactive Systems: Response.

Zohar Manna, Amir Pnueli

Proceedings of the Time for Verification, 2010

2008

Constructing invariants for hybrid systems.

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Formal Methods Syst. Des., 2008

Deductive verification of alternating systems.

Matteo Slanina, Henny B. Sipma, Zohar Manna

Formal Aspects Comput., 2008

Property-directed incremental invariant generation.

Aaron R. Bradley, Zohar Manna

Formal Aspects Comput., 2008

The Reaction Algebra: A Formal Language for Event Correlation.

César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna

Proceedings of the Pillars of Computer Science, 2008

2007

Verifying Balanced Trees.

Zohar Manna, Henny B. Sipma, Ting Zhang

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Generating Efficient Distributed Deadlock Avoidance Controllers.

César Sánchez, Henny B. Sipma, Zohar Manna

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Checking Safety by Inductive Generalization of Counterexamples to Induction.

Aaron R. Bradley, Zohar Manna

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces.

César Sánchez, Henny B. Sipma, Zohar Manna

Proceedings of the Fundamental Approaches to Software Engineering, 2007

The calculus of computation - decision procedures with applications to verification.

Aaron R. Bradley, Zohar Manna

Springer, 2007

2006

Decision procedures for term algebras with integer constraints.

Ting Zhang, Henny B. Sipma, Zohar Manna

Inf. Comput., 2006

Efficient Strongly Relational Polyhedral Analysis.

Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna

Proceedings of the Verification, 2006

What's Decidable About Arrays?

Aaron R. Bradley, Zohar Manna, Henny B. Sipma

Proceedings of the Verification, 2006

Distributed Priority Inheritance for Real-Time and Embedded Systems.

César Sánchez, Henny B. Sipma, Christopher D. Gill, Zohar Manna

Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006

On efficient distributed deadlock avoidance for real-time and embedded systems.

César Sánchez, Henny B. Sipma, Zohar Manna, Venkita Subramonian, Christopher D. Gill

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Proving ATL* Properties of Infinite-State Systems.

Matteo Slanina, Henny B. Sipma, Zohar Manna

Proceedings of the Theoretical Aspects of Computing, 2006

Verification Constraint Problems with Strengthening.

Aaron R. Bradley, Zohar Manna

Proceedings of the Theoretical Aspects of Computing, 2006

Fixed Point Iteration for Computing the Time Elapse Operator.

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Efficient distributed deadlock avoidance with liveness guarantees.

César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

Scalable Analysis of Linear Systems Using Mathematical Programming.

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Proceedings of the Verification, 2005

Termination of Polynomial Programs.

Aaron R. Bradley, Zohar Manna, Henny B. Sipma

Proceedings of the Verification, 2005

LOLA: Runtime Monitoring of Synchronous Systems.

Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna

Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

The Polyranking Principle.

Aaron R. Bradley, Zohar Manna, Henny B. Sipma

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Decision Procedures for Queues with Integer Constraints.

Ting Zhang, Henny B. Sipma, Zohar Manna

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Expressive Completeness of an Event-Pattern Reactive Programming Language.

César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Thread Allocation Protocols for Distributed Real-Time and Embedded Systems.

César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Termination Analysis of Integer Linear Loops.

Aaron R. Bradley, Zohar Manna, Henny B. Sipma

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Linear Ranking with Reachability.

Aaron R. Bradley, Zohar Manna, Henny B. Sipma

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Final Semantics for Event-Pattern Reactive Programs.

César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

The Decidability of the First-Order Theory of Knuth-Bendix Order.

Ting Zhang, Henny B. Sipma, Zohar Manna

Proceedings of the Automated Deduction, 2005

Termination and Invariance Analysis of Loops.

Aaron R. Bradley, Zohar Manna

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

Term Algebras with Length Function and Bounded Quantifier Alternation.

Ting Zhang, Henny B. Sipma, Zohar Manna

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

Constraint-Based Linear-Relations Analysis.

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Proceedings of the Static Analysis, 11th International Symposium, 2004

Non-linear loop invariant generation using Gröbner bases.

Sriram Sankaranarayanan, Henny Sipma, Zohar Manna

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Decision Procedures for Recursive Data Structures with Integer Constraints.

Ting Zhang, Henny B. Sipma, Zohar Manna

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Event Correlation: Language and Semantics.

César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna

Proceedings of the Embedded Software, Third International Conference, 2003

Petri Net Analysis Using Invariant Generation.

Sriram Sankaranarayanan, Henny Sipma, Zohar Manna

Proceedings of the Verification: Theory and Practice, 2003

2002

Combining Decision Procedures.

Zohar Manna, Calogero G. Zarba

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

2001

Deductive verification of real-time systems using STeP.

Nikolaj S. Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe

Theor. Comput. Sci., 2001

2000

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial.

Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe

Formal Methods Syst. Des., 2000

The 'Cash-Point' Service: A Verification Case Study Using STeP.

Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma

Formal Aspects Comput., 2000

Verification of Clocked and Hybrid Systems.

Yonit Kesten, Zohar Manna, Amir Pnueli

Acta Informatica, 2000

Alternating the Temporal Picture for Safety.

Zohar Manna, Henny Sipma

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1999

Deductive Model Checking.

Henny Sipma, Tomás E. Uribe, Zohar Manna

Formal Methods Syst. Des., 1999

Visual Verification of Temporal Properties.

Zohar Manna

Proceedings of the 6th International Workshop on Temporal Representation and Reasoning, 1999

Verification of Parameterized Systems by Dynamic Induction on Diagrams.

Zohar Manna, Henny Sipma

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.

Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe

Proceedings of the International Workshop Tool Support for System Specification, 1998

Deductive Verification of Hybrid Systems Using STeP.

Zohar Manna, Henny Sipma

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

Visual Abstractions for Temporal Verification.

Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Automatic Generation of Invariants and Intermediate Assertions.

Nikolaj S. Bjørner, Anca Browne, Zohar Manna

Theor. Comput. Sci., 1997

Visual Verification of Reactive Systems.

Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification.

Luca de Alfaro, Arjun Kapur, Zohar Manna

Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997

Abstraction and Modular Verification of Infinite-State Reactive Systems.

Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Deductive Verification of Modular Systems.

Bernd Finkbeiner, Zohar Manna, Henny Sipma

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

Verification of Progress Properties.

Zohar Manna

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems.

Nikolaj S. Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

Temporal Verification by Diagram Transformations.

Luca de Alfaro, Zohar Manna

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

Hierarchical Verification Using Verification Diagrams.

Anca Browne, Zohar Manna, Henny Sipma

Proceedings of the Concurrency and Parallelism, 1996

1995

A Temporal Plan Theory.

Zohar Manna, Massimo Paltrinieri, Richard J. Waldinger

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

STeP: The Stanford Temporal Prover.

Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Luca de Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma, Tomás E. Uribe

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Verifying Clocked Transition Systems.

Yonit Kesten, Zohar Manna, Amir Pnueli

Proceedings of the Hybrid Systems III: Verification and Control, 1995

Generalized Temporal Verification Diagrams.

Anca Browne, Zohar Manna, Henny Sipma

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

Automatic Generation of Invariants and Assertions.

Nikolaj S. Bjørner, Anca Browne, Zohar Manna

Proceedings of the Principles and Practice of Constraint Programming, 1995

Verification in Continuous Time by Discrete Reasoning.

Luca de Alfaro, Zohar Manna

Proceedings of the Algebraic Methodology and Software Technology, 1995

Differential BDDs.

Anuchit Anuchitanukul, Zohar Manna, Tomás E. Uribe

Proceedings of the Computer Science Today: Recent Trends and Developments, 1995

Temporal verification of reactive systems - safety.

Zohar Manna, Amir Pnueli

Springer, ISBN: 978-0-387-94459-3, 1995

1994

Temporal Proof Methodologies for Timed Transition Systems

Thomas A. Henzinger, Zohar Manna, Amir Pnueli

Inf. Comput., August, 1994

Temporal Verification Diagrams.

Zohar Manna, Amir Pnueli

Proceedings of the Theoretical Aspects of Computer Software, 1994

Compositional Verification of Real-Time Systems

Edward Y. Chang, Zohar Manna, Amir Pnueli

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Annotation-Based Deduction in Temporal Logic.

Hugh McGuire, Zohar Manna, Richard J. Waldinger

Proceedings of the Temporal Logic, First International Conference, 1994

Specification and Verification of Controlled Systems.

Henny Sipma, Zohar Manna

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Prooving Safety Properties of Hybrid Systems.

Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Beyond Model Checking.

Zohar Manna

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

Realizability and Synthesis of Reactive Modules.

Anuchit Anuchitanukul, Zohar Manna

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993

Models for Reactivity.

Zohar Manna, Amir Pnueli

Acta Informatica, 1993

Temporal Verification of Simulation and Refinement.

Yonit Kesten, Zohar Manna, Amir Pnueli

Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

A Decision Algorithm for Full Propositional Temporal Logic.

Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

Verification of parameterized programs.

Zohar Manna, Amir Pnueli

Proceedings of the Specification and validation methods, 1993

The deductive foundations of computer programming - a one-volume version of "The logical basis for computer programming".

Zohar Manna, Richard J. Waldinger

Addison-Wesley, ISBN: 978-0-201-54886-0, 1993

1992

Fundamentals of Deductive Program Synthesis.

Zohar Manna, Richard J. Waldinger

IEEE Trans. Software Eng., 1992

Time for Concurrency.

Zohar Manna, Amir Pnueli

Proceedings of the Future Tendencies in Computer Science, 1992

What Good Are Digital Clocks?

Thomas A. Henzinger, Zohar Manna, Amir Pnueli

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

Characterization of Temporal Property Classes.

Edward Y. Chang, Zohar Manna, Amir Pnueli

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

Verifying Hybrid Systems.

Zohar Manna, Amir Pnueli

Proceedings of the Hybrid Systems, 1992

Towards Refining Temporal Specifications into Hybrid Systems.

Thomas A. Henzinger, Zohar Manna, Amir Pnueli

Proceedings of the Hybrid Systems, 1992

The Special-Relation Rules are Incomplete.

Zohar Manna, Richard J. Waldinger

Proceedings of the Automated Deduction, 1992

The temporal logic of reactive and concurrent systems - specification.

Zohar Manna, Amir Pnueli

Springer, ISBN: 978-1-4612-0931-7, 1992

1991

Completing the Temporal Picture.

Zohar Manna, Amir Pnueli

Theor. Comput. Sci., 1991

From Timed to Hybrid Systems.

Oded Maler, Zohar Manna, Amir Pnueli

Proceedings of the Real-Time: Theory in Practice, 1991

Timed Transition Systems.

Thomas A. Henzinger, Zohar Manna, Amir Pnueli

Proceedings of the Real-Time: Theory in Practice, 1991

Temporal Proof Methodologies for Real-time Systems.

Thomas A. Henzinger, Zohar Manna, Amir Pnueli

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

On the Faithfulness of Formal Models.

Zohar Manna, Amir Pnueli

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Monotonicity Properties in Automated Deduction.

Zohar Manna, Mark E. Stickel, Richard Waldinger

Proceedings of the Artificial and Mathematical Theory of Computation, 1991

1990

Nonclausal Deduction in First-Order Temporal Logic

Martín Abadi, Zohar Manna

J. ACM, April, 1990

A Hierarchy of Temporal Properties.

Zohar Manna, Amir Pnueli

Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990

A temporal proof methodology for reactive systems.

Zohar Manna, Amir Pnueli

Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990

An interleaving model for real-time.

Thomas A. Henzinger, Zohar Manna, Amir Pnueli

Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990

1989

Temporal Logic Programming.

Martín Abadi, Zohar Manna

J. Symb. Comput., 1989

1988

The anchored version of the temporal framework.

Zohar Manna, Amir Pnueli

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

1987

The Origin of a Binary-Search Paradigm.

Zohar Manna, Richard J. Waldinger

Sci. Comput. Program., 1987

How to Clear a Block: A Theory of Plans.

Zohar Manna, Richard J. Waldinger

J. Autom. Reason., 1987

Specification and Verification of Concurrent Programs by forall-Automata.

Zohar Manna, Amir Pnueli

Proceedings of the Temporal Logic in Specification, 1987

A Hierarchy of Temporal Properties (Abstract).

Zohar Manna, Amir Pnueli

Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987

The Deductive Synthesis of Imperative LISP Programs.

Zohar Manna, Richard J. Waldinger

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986

Tablog: Functional and Relational Programming in One Framework.

Yonathan Malachi, Zohar Manna, Richard J. Waldinger

IEEE Softw., 1986

Special relations in automated deduction.

Zohar Manna, Richard J. Waldinger

J. ACM, 1986

Towards Deductive Synthesis of Dataflow Networks

Bengt Jonsson, Zohar Manna, Richard J. Waldinger

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

A Timely Resolution

Martín Abadi, Zohar Manna

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

How to Clear a Block: Plan Formation in Situational Logic.

Zohar Manna, Richard J. Waldinger

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

Modal Theorem Proving.

Martín Abadi, Zohar Manna

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

TABLOG: A New Approach To Logic Programming.

Yonathan Malachi, Zohar Manna, Richard J. Waldinger

Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1985

Nonclausal Temporal Deduction.

Martín Abadi, Zohar Manna

Proceedings of the Logics of Programs, 1985

Deduction with Relation Matching.

Zohar Manna, Richard J. Waldinger

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

1984

Synthesis of Communicating Processes from Temporal Logic Specifications.

Zohar Manna, Pierre Wolper

ACM Trans. Program. Lang. Syst., 1984

Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs.

Zohar Manna, Amir Pnueli

Sci. Comput. Program., 1984

TABLOG: The Deductive-Tableau Programming Language.

Yonathan Malachi, Zohar Manna, Richard J. Waldinger

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

1983

The Temporal Logic of Branching Time.

Mordechai Ben-Ari, Amir Pnueli, Zohar Manna

Acta Informatica, 1983

How to Cook a Temporal Proof System for Your Pet Language.

Zohar Manna, Amir Pnueli

Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

Reasoning in Interval Temporal Logic.

Ben C. Moszkowski, Zohar Manna

Proceedings of the Logics of Programs, 1983

Proving Precedence Properties: The Temporal Way.

Zohar Manna, Amir Pnueli

Proceedings of the Automata, 1983

A Hardware Semantics Based on Temporal Intervals.

Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski

Proceedings of the Automata, 1983

1981

Inference Rules for Program Annotation.

Nachum Dershowitz, Zohar Manna

IEEE Trans. Software Eng., 1981

Deductive Synthesis of the Unification Algorithm.

Zohar Manna, Richard J. Waldinger

Sci. Comput. Program., 1981

Problematic Features of Programming Languages: A Situational-Calculus Approach.

Zohar Manna, Richard J. Waldinger

Acta Informatica, 1981

Verification of Concurrent Programs: Temporal Proof Principles.

Zohar Manna, Amir Pnueli

Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981

1980

A Deductive Approach to Program Synthesis.

Zohar Manna, Richard J. Waldinger

ACM Trans. Program. Lang. Syst., 1980

Synchronous Schemes and Their Decision Problems.

Zohar Manna, Amir Pnueli

Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

Logics of Programs.

Zohar Manna

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1979

Synthesis: Dreams - Programs.

Zohar Manna, Richard J. Waldinger

IEEE Trans. Software Eng., 1979

Proving Termination with Multiset Orderings.

Nachum Dershowitz, Zohar Manna

Commun. ACM, 1979

The Modal Logic of Programs.

Zohar Manna, Amir Pnueli

Proceedings of the Automata, 1979

1978

The Logic of Computer Programming.

Zohar Manna, Richard J. Waldinger

IEEE Trans. Software Eng., 1978

The Convergence of Functions to Fixedpoints of Recursive Definitions.

Zohar Manna, Adi Shamir

Theor. Comput. Sci., 1978

Is "Sometime" Sometimes Better Than "Always"? (Intermittent Assertions in Proving Program Correctness).

Zohar Manna, Richard J. Waldinger

Commun. ACM, 1978

The Synthesis of Structure Changing Programs.

Zohar Manna, Richard J. Waldinger

Proceedings of the 3rd International Conference on Software Engineering, 1978

DEDALUS - The DEDuctive ALgorithm Ur-Synthesizer.

Zohar Manna, Richard Waldinger

Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978

1977

The Evolution of Programs: Automatic Program Modification.

Nachum Dershowitz, Zohar Manna

IEEE Trans. Software Eng., 1977

The automatic synthesis of recursive programs.

Zohar Manna, Richard Waldinger

Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977

The Optimal Approach to Recursive Programs.

Zohar Manna, Adi Shamir

Commun. ACM, 1977

The Evolution of Programs: A System for Automatic Program Modification.

Nachum Dershowitz, Zohar Manna

Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977

The Automatic Synthesis of Systems of Recursive Programs.

Zohar Manna, Richard J. Waldinger

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

The Theoretical Aspects of the Optimal Fixed Point.

Zohar Manna, Adi Shamir

SIAM J. Comput., 1976

On the Power of Programming Features.

Ashok K. Chandra, Zohar Manna

Comput. Lang., 1976

Logical Analysis of Programs.

Shmuel Katz, Zohar Manna

Commun. ACM, 1976

1975

Translating Program Schemas to While-Schemas.

Edward A. Ashcroft, Zohar Manna

SIAM J. Comput., 1975

Knowledge and Reasoning in Program Synthesis.

Zohar Manna, Richard J. Waldinger

Artif. Intell., 1975

A Closer Look at Termination.

Shmuel Katz, Zohar Manna

Acta Informatica, 1975

The Optimal Fixedpoint of Recursive Programs

Zohar Manna, Adi Shamir

Proceedings of the 7th Annual ACM Symposium on Theory of Computing, 1975

Towards automatic debugging of programs.

Shmuel Katz, Zohar Manna

Proceedings of the International Conference on Reliable Software 1975, 1975

1974

Axiomatic Approach to Total Correctness of Programs.

Zohar Manna, Amir Pnueli

Acta Informatica, 1974

Knowledge and Reasoning in Program Synthesis.

Zohar Manna

Proceedings of the Programming Methodology, 4th Informatik Symposium, 1974

1973

Decidable Properties of Monadic Functional Schemas.

Edward A. Ashcroft, Zohar Manna, Amir Pnueli

J. ACM, 1973

Inductive Methods for Proving Properties of Programs.

Zohar Manna, Stephen Nes, Jean Vuillemin

Commun. ACM, 1973

A Heuristic Approach to Program Verification.

Shmuel Katz, Zohar Manna

Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

1972

Fix Point Approach to the Theory of Computation.

Zohar Manna, Jean Vuillemin

Commun. ACM, 1972

Program Schemas with Equality

Ashok K. Chandra, Zohar Manna

Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972

Recursive definitions of partial functions and their computations.

Jean-Marie Cadiou, Zohar Manna

Proceedings of ACM Conference on Proving Assertions About Programs, 1972

Fixpoint Approach to the Theory of Computation.

Zohar Manna, Jean Vuillemin

Proceedings of the Automata, 1972

Computation of recursive programs: theory vs practice.

Zohar Manna

Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1972 Spring Joint Computer Conference, 1972

1971

Towards automatic program synthesis.

Zohar Manna, Richard J. Waldinger

Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971

Mathematical theory of partial correctness.

Zohar Manna

Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971

Mathematical Theory of Partial Correctness.

Zohar Manna

J. Comput. Syst. Sci., 1971

Toward Automatic Program Synthesis.

Zohar Manna, Richard J. Waldinger

Commun. ACM, 1971

The Translation of 'Go To' Programs to 'While' Programs.

Edward A. Ashcroft, Zohar Manna

Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971

1970

Formalization of Properties of Functional Programs.

Zohar Manna, Amir Pnueli

J. ACM, 1970

The Correctness of Nondeterministic Programs.

Zohar Manna

Artif. Intell., 1970

Second-Order Mathematical Theory of Computation

Zohar Manna

Proceedings of the 2nd Annual ACM Symposium on Theory of Computing, 1970

Termination of programs represented as interpreted graphs.

Zohar Manna

Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1970 Spring Joint Computer Conference, 1970

1969

The Correctness of Programs.

Zohar Manna

J. Comput. Syst. Sci., 1969

Properties of Programs and the First-Order Predicate Calculus.

Zohar Manna

J. ACM, 1969

Formalization of Properties of Recursively Defined Functions

Zohar Manna, Amir Pnueli

Proceedings of the 1st Annual ACM Symposium on Theory of Computing, 1969