Search Sciweavers | Sciweavers

1189 search results - page 24 / 238

» The Quotient of an Abstract Interpretation

Voted

ENTCS
2000

82views more ENTCS 2000»

Abstract Interpretation Based Verification of Logic Programs

15 years 27 days 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

15 years 24 days 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

14 years 11 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

14 years 11 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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers