Amir Pnueli

Amir Pnueli (; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient. Provided by Wikipedia
Showing 1 - 3 results of 3 for search 'Pnueli, Amir', query time: 0.02s Refine Results
  1. 1
    Temporal verification of reactive systems : safety /

    Temporal verification of reactive systems : safety / by 179321 Manna, Zohar, Pnueli, Amir

    Published 1995
  2. 2
    A Complete Axiomatic System for Proving Deductions About Recursive Programs

    A Complete Axiomatic System for Proving Deductions About Recursive Programs by Harel, David, Pnueli, Amir, Stavi, Jonathan

    Published 2023
    Get full text
  3. 3
    Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness

    Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness by Ben-Ari, Mordechai, Halpern, Joseph Y., Pnueli, Amir

    Published 2023
    Get full text

Search Tools: