Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

FOSAD
2009
Springer

favoriteEmaildiscussreport

117views Security Privacy» more FOSAD 2009»

Certified Static Analysis by Abstract Interpretation

13 years 8 months ago

Certified Static Analysis by Abstract Interpretation

Download www.irisa.fr

d Static Analysis by Abstract Interpretation Fr

Frédéric Besson, David Cachera, Thom

Real-time Traffic

Certified Static Analysis | FOSAD 2009 | Rennes Cedex | Security Privacy | Static Analysis |

claim paper

Related Content

» Static Analysis by Abstract Interpretation A Mathematical Programming Approach

» Abstract Interpretation Based Static Analysis Parameterized by Semantics

» A Fast and Precise Static Loop Analysis Based on Abstract Interpretation Program Slicing a...

» Static Analysis by Abstract Interpretation of the Quasisynchronous Composition of Synchron...

» Static Analysis Abstract Interpretation and Verification in Constraint Logic Programming

» Static Type Analysis of Pattern Matching by Abstract Interpretation

» Static Analysis Via Abstract Interpretation of the HappensBefore Memory Model

» A family of abstract interpretations for static analysis of concurrent higherorder program...

» Static analysis by abstract interpretation of embedded critical software

Post Info
More Details (n/a)

Added	16 Aug 2010
Updated	16 Aug 2010
Type	Conference
Year	2009
Where	FOSAD
Authors	Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie

Comments (0)