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

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Original language	English (US)
Title of host publication	Logics and languages for reliability and security
Editors	J. Esparza, B. Spanfelner, O. Grumberg
Publisher	IOS Press
Pages	1-29
State	Published - 2010

Name	NATO Science for Peace and Security Series D: Information and Communication Security
Volume	25

Cite this

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 proceeding › Chapter (peer-reviewed) › peer-review

@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 -