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.

A scalable introduction to formal verification of computer systems by abstract interpretation. / Cousot, Patrick; Cousot, Radhia.

Logics and languages for reliability and security. ed. / J. Esparza; B. Spanfelner; O. Grumberg. IOS Press, 2010. p. 1-29 (NATO Science for Peace and Security Series D: Information and Communication Security; Vol. 25).

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

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. NATO Science for Peace and Security Series D: Information and Communication Security, vol. 25, IOS Press, pp. 1-29.
Cousot P, Cousot R. A scalable introduction to formal verification of computer systems by abstract interpretation. In Esparza J, Spanfelner B, Grumberg O, editors, Logics and languages for reliability and security. IOS Press. 2010. p. 1-29. (NATO Science for Peace and Security Series D: Information and Communication Security).
Cousot, Patrick ; Cousot, Radhia. / A scalable introduction to formal verification of computer systems by abstract interpretation. Logics and languages for reliability and security. editor / J. Esparza ; B. Spanfelner ; O. Grumberg. IOS Press, 2010. pp. 1-29 (NATO Science for Peace and Security Series D: Information and Communication Security).
@inbook{d0083cc8d02647d1b8493c0fd8d8a2c1,
title = "A scalable introduction to formal verification of computer systems by abstract interpretation",
author = "Patrick Cousot and Radhia Cousot",
year = "2010",
language = "English (US)",
series = "NATO Science for Peace and Security Series D: Information and Communication Security",
publisher = "IOS Press",
pages = "1--29",
editor = "J. Esparza and B. Spanfelner and O. Grumberg",
booktitle = "Logics and languages for reliability and security",

}

TY - CHAP

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

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 2010

Y1 - 2010

M3 - Chapter (peer-reviewed)

T3 - NATO Science for Peace and Security Series D: Information and Communication Security

SP - 1

EP - 29

BT - Logics and languages for reliability and security

A2 - Esparza, J.

A2 - Spanfelner, B.

A2 - Grumberg, O.

PB - IOS Press

ER -