Search Sciweavers | Sciweavers

507 search results - page 10 / 102

» Counterexample-Guided Abstraction Refinement

click to vote

ASPDAC
2006
ACM

112views Hardware» more ASPDAC 2006»

Refinement strategies for verification methods based on datapath abstraction

16 years 12 days ago

Download www.aspdac.com

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

claim paper

Read More »

142

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 1 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 11 months ago

Download reference.kfupm.edu.sa

Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Linta...

claim paper

Read More »

144

click to vote

CAV
2003
Springer

125views Hardware» more CAV 2003»

A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement

15 years 11 months ago

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

137

click to vote

IPPS
2000
IEEE

114views Distributed And Parallel Com...» more IPPS 2000»

Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers