@inproceedings{774ac370f38d453dbd7345e3cf482aa8,
title = "Basic concepts of Abstract Interpretation",
abstract = "A brief introduction to the theory of Abstract Interpretation, examplified by constructing a hierarchy of partial traces, reflexive transitive closure, reachable states and intervals abstract semantics of transition systems.",
keywords = "Abstract Interpretation, Safety, Specification, Static analysis, Verification",
author = "Patrick Cousot and Radhia Cousot",
year = "2004",
language = "English (US)",
isbn = "1402081561",
series = "IFIP Advances in Information and Communication Technology",
publisher = "Springer New York LLC",
pages = "359--366",
booktitle = "Building the Information Society - IFIP 18th World Computer Congress Topical Sessions",
note = "IFIP 18th World Computer Congress Topical Sessions ; Conference date: 22-08-2004 Through 27-08-2004",
}