Search Sciweavers | Sciweavers

4814 search results - page 34 / 963

» Combining abstract interpreters

154

click to vote

ASIAN
2006
Springer

80views Algorithms» more ASIAN 2006»

Combination of Abstractions in the ASTRÉE Static Analyzer

15 years 10 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot, Jérôme...

claim paper

Read More »

122

click to vote

DATE
2004
IEEE

79views Hardware» more DATE 2004»

Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits

15 years 10 months ago

Download www.cerc.utexas.edu

Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, A...

claim paper

Read More »

143

click to vote

ESOP
2006
Springer

113views Programming Languages» more ESOP 2006»

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

15 years 10 months ago

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

161

click to vote

APAQS
2001
IEEE

226views Software Engineering» more APAQS 2001»

Combining the Animation and Testing of Abstract Data Types

15 years 10 months ago

Download espace.library.uq.edu.au

Data Types Tim Miller Paul Strooper May 2001 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http://svrc.it.uq.edu.au

Tim Miller, Paul A. Strooper

claim paper

Read More »

165

click to vote

FMCAD
2008
Springer

85views Formal Methods» more FMCAD 2008»

Combining Predicate and Numeric Abstraction for Software Model Checking

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers