Search Sciweavers | Sciweavers

3255 search results - page 2 / 651

» Combination of Abstractions in the ASTR

136

click to vote

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

16 years 11 days ago

Download www.carstensinz.de

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thom...

claim paper

Read More »

150

click to vote

CP
2007
Springer

112views Artificial Intelligence» more CP 2007»

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming

16 years 4 days ago

Download www.irisa.fr

Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...

claim paper

Read More »

120

click to vote

PLDI
2006
ACM

90views Programming Languages» more PLDI 2006»

Combining abstract interpreters

15 years 12 months ago

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

127

click to vote

SAS
2004
Springer

104views Formal Methods» more SAS 2004»

Abstract Interpretation of Combinational Asynchronous Circuits

15 years 11 months ago

Download www.cl.cam.ac.uk

Sarah Thompson, Alan Mycroft

claim paper

Read More »

137

click to vote

TCAD
2010

111views more TCAD 2010»

Combining Control and Data Abstraction in the Verification of Hybrid Systems

15 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers