Search Sciweavers | Sciweavers

1914 search results - page 24 / 383

» Verification by Abstract Interpretation

116

click to vote

FMCO
2008
Springer

120views Formal Methods» more FMCO 2008»

Abstract Interpretation of Symbolic Execution with Explicit State Updates

15 years 6 months ago

Download www.cse.chalmers.se

Richard Bubel, Reiner Hähnle, Benjamin Wei&sz...

claim paper

Read More »

132

click to vote

FORTE
2010

139views Formal Methods» more FORTE 2010»

Static Type Analysis of Pattern Matching by Abstract Interpretation

15 years 6 months ago

Download people.inf.ethz.ch

Pietro Ferrara

claim paper

Read More »

Voted

DAGSTUHL
2006

143views Software Engineering» more DAGSTUHL 2006»

Abstract Interpretation of Graph Transformation

15 years 6 months ago

Download rw4.cs.uni-sb.de

Jörg Bauer, Reinhard Wilhelm

claim paper

Read More »

122

click to vote

DAGSTUHL
2001

121views Software Engineering» more DAGSTUHL 2001»

Abstract Interpretation Based Formal Methods and Future Challenges

15 years 6 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

121

click to vote

SLP
1994

88views more SLP 1994»

Abstract Interpretation and Partial Evaluation in Functional and Logic Programming

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers