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)peer-review

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

Publication series

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

Cite this