Invited Talks
- Amir Pnueli.
From Requirements to Implementations: A Seamless Development
Process for Embedded Systems.
Asian'99, Phuket, Thailand, Dec. 10, 1999.
(transparencies.)
- Amir Pnueli.
Deduction is Forever.
Formal Methods'99, Toulouse, Sept. 22, 1999.
(transparencies.)
- Amir Pnueli.
Formal Verification: All Questions and Some Answers.
CS Leading Teachers Course, WIS, May 9, 1999.
( transparencies.)
- Amir Pnueli (joint work with Y. Kesten and M. Vardi).
Yes, Matilda! Abstraction can Replace Deduction, even for
Computational Models which are BAD (Buchi Automata with Data).
A lecture presented at a meeting of the European Community project VHS
(Verification of Hybrid Systems), Grenoble, 28 January, 1999.
(abstract,
transparencies.)
- Amir Pnueli.
Verification of Data-Insensitive Circuits.
2nd Workshop on Formal Methods in Computer Aided Design
(Fmcad 1998) Palo Alto, California Nov. 4-6, 1998.
( transparencies.)
- Amir Pnueli.
Verification by Finitary Abstraction.
4th International Spin Workshop
(SPIN 1998) Paris, France Nov. 2, 1998.
abstract,
( transparencies.)
- Amir Pnueli.
Deductive vs. Model-Theoretic Approaches to Formal
Verification.
15th International Conference on Automated Deduction.
(CADE 1998) Lindau, Germany July 5-10, 1998.
abstract
- Amir Pnueli:
Verification Engineering: A Future Profession. (A. M. Turing Award
Lecture)
Sixteenth Annual ACM Symposium on Principles of Distributed Computing
(PODC 1990), San Diego, August, 1997.
(abstract,
transparencies.)