Zohar Manna

• Temporal Verification of Reactive Systems
• The logical basis for computer programming
• Temporal verification of reactive systems
• The deductive foundations of computer programming
• The temporal logic of reactive and concurrent systems
• Lectures on the logic of computer programming
• Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics)
• Mathematical theory of computation
• Studies in automatic programming logic
• The Calculus of Computation
• The Calculus of Computation: Decision Procedures with Applications to Verification
• The Temporal Logic of Reactive and Concurrent Systems