Search Sciweavers | Sciweavers

500 search results - page 10 / 100

» Thread-Modular Abstraction Refinement

149

click to vote

VMCAI
2007
Springer

107views Software Engineering» more VMCAI 2007»

Language-Based Abstraction Refinement for Hybrid System Verification

16 years 20 days ago

Download www.inf.ethz.ch

Felix Klaedtke, Stefan Ratschan, Zhikun She

claim paper

Read More »

101

click to vote

DATE
2006
IEEE

73views Hardware» more DATE 2006»

Verifying analog oscillator circuits using forward/backward abstraction refinement

16 years 19 days ago

Download www.date-conference.com

Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar

claim paper

Read More »

click to vote

ASPDAC
2006
ACM

112views Hardware» more ASPDAC 2006»

Refinement strategies for verification methods based on datapath abstraction

16 years 16 days ago

Download www.aspdac.com

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

claim paper

Read More »

145

click to vote

EDOC
2005
IEEE

110views Distributed And Parallel Com...» more EDOC 2005»

Abstract Interactions and Interaction Refinement in Model-Driven Design

16 years 5 days ago

Download is.tm.tue.nl

João Paulo A. Almeida, Remco M. Dijkman, Lu...

claim paper

Read More »

142

click to vote

CAV
2004
Springer

89views Hardware» more CAV 2004»

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers