154 search results - page 1 / 31 » Abstract Interpretation with Applications to Timing Validati... |
CAV
2008
Springer
13 years 6 months ago
2008
Springer
DSN
2003
IEEE
13 years 10 months ago
2003
IEEE
SE
2007
13 years 6 months ago
2007
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
Interpretation for Worst and Average Case Analysis Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, University of Pisa, Italy 2 Departme...
TACS
1994
Springer
13 years 9 months ago
1994
Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...