Sciweavers

3255 search results - page 5 / 651
» Combination of Abstractions in the ASTR
Sort
View
PEPM
1993
ACM
15 years 10 months ago
Improving Abstract Interpretations by Combining Domains
Michael Codish, Anne Mulkers, Maurice Bruynooghe, ...
DATE
2004
IEEE
79views Hardware» more  DATE 2004»
15 years 9 months ago
Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits
Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, A...
APAQS
2001
IEEE
15 years 9 months ago
Combining the Animation and Testing of Abstract Data Types
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