Search Sciweavers | Sciweavers

1189 search results - page 24 / 238

» The Quotient of an Abstract Interpretation

click to vote

ENTCS
2000

82views more ENTCS 2000»

Abstract Interpretation Based Verification of Logic Programs

13 years 9 months ago

Download www.di.unipi.it

Giorgio Levi

claim paper

Read More »

click to vote

AMAI
1998
Springer

71views Artificial Intelligence» more AMAI 1998»

Dynamic Temporal Interpretation Contexts for Temporal Abstraction

13 years 9 months ago

Download bmir.stanford.edu

Yuval Shahar

claim paper

Read More »

click to vote

SAS
2010
Springer

124views Formal Methods» more SAS 2010»

Abstract Interpreters for Free

13 years 8 months ago

Download matt.might.net

Matthew Might

claim paper

Read More »

click to vote

SAS
2010
Springer

152views Formal Methods» more SAS 2010»

Modelling Metamorphism by Abstract Interpretation

13 years 8 months ago

Download www.cs.arizona.edu

Mila Dalla Preda, Roberto Giacobazzi, Saumya K. De...

claim paper

Read More »

click to vote

ICST
2010
IEEE

116views Software Engineering» more ICST 2010»

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers