Sciweavers

3342 search results - page 47 / 669
» Automating Abstract Interpretation
Sort
View
76
Voted
DATE
2007
IEEE
100views Hardware» more  DATE 2007»
15 years 2 months ago
Abstraction and refinement techniques in automated design debugging
Sean Safarpour, Andreas G. Veneris
84
Voted
ACSD
2004
IEEE
90views Hardware» more  ACSD 2004»
15 years 2 months ago
A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models
Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoor...