Search
 
loader loading subjects...
cover
A gentle introduction to formal verification of computer systems by abstract interpretation
Patrick Cousot, Radhia Cousot
1 - 29
10.3233/978-1-60750-100-8-1
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 25: Logics and Languages for Reliability and Security
Abstract

We introduce and illustrate basic notions of abstract interpretation theory and its applications by relying on the readers general scientific culture and basic knowledge of computer programming.

$35.00 / €27.50 / £22.00
Add PDF to cart