- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
A gentle introduction to formal verification of computer systems by abstract interpretation
Search this article
Description
<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>
Journal
-
- 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
- Tweet
Details 詳細情報について
-
- CRID
- 1360866926430850432
-
- ISSN
- 18746268
-
- Data Source
-
- Crossref