loading...
The Role of Abstract Interpretation in Formal Methods
London, England September 10-September 14
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.42Fifth IEEE International Conference o ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
"The Role of Abstract Interpretation in Formal Methods," Software Engineering and Formal Methods, International Conference on, pp. 135-140, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2007.42,
author = {},
title = {The Role of Abstract Interpretation in Formal Methods},
journal ={Software Engineering and Formal Methods, International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2884-8},
pages = {135-140},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.42},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering and Formal Methods, International Conference on
TI - The Role of Abstract Interpretation in Formal Methods
SN - 0-7695-2884-8
SP135
EP140
PY - 2007
KW - null
VL - 0
JA - Software Engineering and Formal Methods, International Conference on
ER -
 
Abstract interpretation [3, 8] is a theory of sound approximation of mathematical structures, in particular those involved in the description of the behavior of computer systems. It allows the systematic derivation of sound methods and algorithms for approximating undecidable or highly complex problems in various areas of computer science (semantics, verification and proof, modelchecking, static analysis, program transformation and optimization, typing, software steganography, etc.). Its main current application is on the safety and security of complex hardware and software computer systems.
Citation:
"The Role of Abstract Interpretation in Formal Methods," sefm, pp.135-140, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.