A gentle introduction to formal verification of computer systems by abstract interpretation
この論文をさがす
説明
<jats:p>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.</jats:p>
収録刊行物
-
- NATO Science for Peace and Security Series - D: Information and Communication Security
-
NATO Science for Peace and Security Series - D: Information and Communication Security 2010
IOS Press