Search Sciweavers | Sciweavers

1914 search results - page 26 / 383

» Verification by Abstract Interpretation

124

click to vote

TAP
2008
Springer

110views Hardware» more TAP 2008»

Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model

15 years 4 months ago

Download www.pietro.ferrara.name

Pietro Ferrara

claim paper

Read More »

100

click to vote

LOGCOM
2007

91views more LOGCOM 2007»

Generalized Strong Preservation by Abstract Interpretation

15 years 4 months ago

Download www.math.unipd.it

Francesco Ranzato, Francesco Tapparo

claim paper

Read More »

109

Voted

AMAI
1998
Springer

71views Artificial Intelligence» more AMAI 1998»

Dynamic Temporal Interpretation Contexts for Temporal Abstraction

15 years 4 months ago

Download bmir.stanford.edu

Yuval Shahar

claim paper

Read More »

click to vote

TCS
1998

62views Theoretical Computer Science» more TCS 1998»

The Quotient of an Abstract Interpretation

15 years 4 months ago

Download www.dsi.unive.it

Agostino Cortesi, Gilberto Filé, William H....

claim paper

Read More »

110

click to vote

SAS
2010
Springer

124views Formal Methods» more SAS 2010»

Abstract Interpreters for Free

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers