Sciweavers

1914 search results - page 34 / 383
» Verification by Abstract Interpretation
Sort
View
52
Voted
ASPDAC
2006
ACM
112views Hardware» more  ASPDAC 2006»
15 years 6 months ago
Refinement strategies for verification methods based on datapath abstraction
Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakal...
67
Voted
PADS
2006
ACM
15 years 6 months ago
Using Abstraction in the Verification of Simulation Coercion
Xinyu Liu, Paul F. Reynolds Jr., David C. Brogan
68
Voted
VSTTE
2005
Springer
15 years 6 months ago
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...
CAV
2001
Springer
100views Hardware» more  CAV 2001»
15 years 5 months ago
Automatic Abstraction for Verification of Timed Circuits and Systems
Hao Zheng, Eric Mercer, Chris J. Myers
74
Voted
AOSE
2000
Springer
15 years 4 months ago
Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments
Catholijn M. Jonker, Jan Treur, Wieke de Vries