Search Sciweavers | Sciweavers

24 search results - page 1 / 5

» sas 2004

108

click to vote

SAS
2004
Springer

84views Formal Methods» more SAS 2004»

Closed and Logical Relations for Over- and Under-Approximation of Powersets

15 years 10 months ago

Download people.cis.ksu.edu

David A. Schmidt

claim paper

Read More »

107

click to vote

SAS
2004
Springer

104views Formal Methods» more SAS 2004»

Abstract Interpretation of Combinational Asynchronous Circuits

15 years 10 months ago

Download www.cl.cam.ac.uk

Sarah Thompson, Alan Mycroft

claim paper

Read More »

109

click to vote

SAS
2004
Springer

110views Formal Methods» more SAS 2004»

An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants

15 years 10 months ago

Download www.lsi.upc.edu

Enric Rodríguez-Carbonell, Deepak Kapur

claim paper

Read More »

click to vote

SAS
2004
Springer

85views Formal Methods» more SAS 2004»

Partially Disjunctive Heap Abstraction

15 years 10 months ago

Download www.cs.tau.ac.il

Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, ...

claim paper

Read More »

159

click to vote

SAS
2004
Springer

239views Formal Methods» more SAS 2004»

Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers