Search Sciweavers | Sciweavers

507 search results - page 11 / 102

» Counterexample-Guided Abstraction Refinement

click to vote

SIGADA
1998
Springer

75views Programming Languages» more SIGADA 1998»

Visual Support for Incremental Abstraction and Refinement in Ada 95

14 years 2 months ago

Download www.sigada.org

T. Dean Hendrix, James H. Cross II, Larry A. Barow...

claim paper

Read More »

click to vote

ICCBR
1997
Springer

105views Automated Reasoning» more ICCBR 1997»

Stratified Case-Based Reasoning in Non-Refinable Abstraction Hierarchies

14 years 2 months ago

Download www.aaai.org

Karl Branting

claim paper

Read More »

click to vote

ATVA
2009
Springer

111views Hardware» more ATVA 2009»

A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement

14 years 1 months ago

Download www.cs.technion.ac.il

Yael Meller, Orna Grumberg, Sharon Shoham

claim paper

Read More »

click to vote

ATVA
2007
Springer

103views Hardware» more ATVA 2007»

Mind the Shapes: Abstraction Refinement Via Topology Invariants

14 years 1 months ago

Download www.model.in.tum.de

Jörg Bauer, Tobe Toben, Bernd Westphal

claim paper

Read More »

click to vote

DATE
2007
IEEE

100views Hardware» more DATE 2007»

Abstraction and refinement techniques in automated design debugging

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers