A scalable introduction to formal verification of computer systems by abstract interpretation

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Original languageEnglish (US)
Title of host publicationLogics and languages for reliability and security
EditorsJ. Esparza, B. Spanfelner, O. Grumberg
PublisherIOS Press
Pages1-29
StatePublished - 2010

Publication series

NameNATO Science for Peace and Security Series D: Information and Communication Security
Volume25

Cite this

Cousot, P., & Cousot, R. (2010). A scalable introduction to formal verification of computer systems by abstract interpretation. In J. Esparza, B. Spanfelner, & O. Grumberg (Eds.), Logics and languages for reliability and security (pp. 1-29). (NATO Science for Peace and Security Series D: Information and Communication Security; Vol. 25). IOS Press.