Search Sciweavers | Sciweavers

1914 search results - page 34 / 383

» Verification by Abstract Interpretation

click to vote

ASPDAC
2006
ACM

112views Hardware» more ASPDAC 2006»

Refinement strategies for verification methods based on datapath abstraction

15 years 10 months ago

Download www.aspdac.com

Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakal...

claim paper

Read More »

108

click to vote

PADS
2006
ACM

106views Modeling and Simulation» more PADS 2006»

Using Abstraction in the Verification of Simulation Coercion

15 years 10 months ago

Download www.cs.virginia.edu

Xinyu Liu, Paul F. Reynolds Jr., David C. Brogan

claim paper

Read More »

107

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

15 years 10 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

113

Voted

CAV
2001
Springer

100views Hardware» more CAV 2001»

Automatic Abstraction for Verification of Timed Circuits and Systems

15 years 9 months ago

Download www.csee.usf.edu

Hao Zheng, Eric Mercer, Chris J. Myers

claim paper

Read More »

click to vote

AOSE
2000
Springer

76views Intelligent Agents» more AOSE 2000»

Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers