Monday, March 21, 2011

Professor Zohar Manna

Ph.D. Zohar Manna
Professor of Computer Science at Stanford University

The STeP (Stanford Temporal Prover) system supports the computer-aided formal verification of reactive, real-time and hybrid systems based on their temporal specification.

- Aaron R. Bradley and Zohar Manna. The Calculus of Computation: Decision Procedures with Applications to Verification. Springer, 2007.

- Zohar Manna, On-line papers (in reverse chronological order):

- Manna and Calogero G. Zarba, Combining Decision Procedures Zohar, Stanford University, [online],

- Zohar Manna's Doctoral Descendents and Ancestors:

- Zohar Manna's Doctoral Descendents:

Thank the professor that in 1977 sent me a package post. The package containing the book published in 1974 and several scientific articles.We used the book to the development paper license. Thank you very much sir!

Trebuie sa-i multumesc si astazi domnului profesor Manna pentru ca in anul 1977 mi-a trimis prin colet postal cartea sa "Mathematical theory of computation. McGraw Hill, 1974" publicata in anul 1974. Eram student si am folosit tot ce mi-a trimis la elaborarea lucrarii mele de licenta. Trebuie sa recunosc ca am fost foarte mirat de amabilitatea sa, tinand seama ca Romania este despartita de U.S.A printr-un ocean foarte mare.

No comments: