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

14 years 3 months ago

Download www.aspdac.com

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

claim paper

Read More »

click to vote

EDOC
2005
IEEE

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

Abstract Interactions and Interaction Refinement in Model-Driven Design

14 years 3 months ago

Download is.tm.tue.nl

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

claim paper

Read More »

click to vote

CAV
2004
Springer

89views Hardware» more CAV 2004»

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

14 years 3 months ago

Download reference.kfupm.edu.sa

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

claim paper

Read More »

click to vote

CAV
2003
Springer

125views Hardware» more CAV 2003»

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

14 years 3 months ago

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

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

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers