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

15 years 9 months ago

Download www.aspdac.com

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

claim paper

Read More »

102

click to vote

EDOC
2005
IEEE

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

Abstract Interactions and Interaction Refinement in Model-Driven Design

15 years 9 months ago

Download is.tm.tue.nl

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

claim paper

Read More »

110

click to vote

CAV
2004
Springer

89views Hardware» more CAV 2004»

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

15 years 8 months ago

Download reference.kfupm.edu.sa

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

claim paper

Read More »

114

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 8 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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers