Content type
Research output
Search results
-
Abstract interpretation based program testing
Cousot, P. & Cousot, R., 2000, Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000. Scuola Superiore G. Reiss Romoli, (Compact Disk Paper 248 and Electronic Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
Cousot, P. & Cousot, R., 1977, Conference Record of the 4th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), Los Angeles, CA. ACM, p. 238-252Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
A scalable introduction to formal verification of computer systems by abstract interpretation
Cousot, P. & Cousot, R., 2010, Logics and languages for reliability and security. Esparza, J., Spanfelner, B. & Grumberg, O. (eds.). IOS Press, p. 1-29 (NATO Science for Peace and Security Series D: Information and Communication Security; vol. 25).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
Introduction a l'algorithmique numerique et a la programmation en Pascal (in French)
Cousot, P., 1988, Paris, France: McGraw-Hill. 621 p.Research output: Book/Report › Book
-
Semantic foundations of program analysis
Cousot, P., 1981, Program flow analysis: Theory and applications. Muchnick, S. & Jones, N. (eds.). Prentice Hall, p. 303-342 Chapter 10Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
Algorithmique et programmation en Pascal (exercices et corriges) (in French)
Cousot, P., 1992, Ellipses. 271 p. (Cours de l'Ecole Polytechnique)Research output: Book/Report › Book