Search Sciweavers | Sciweavers

500 search results - page 11 / 100

» Thread-Modular Abstraction Refinement

121

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 9 months ago

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

106

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

Download ipdps.cc.gatech.edu

Dominique Cansell, Dominique Méry, Christop...

claim paper

Read More »

click to vote

SIGADA
1998
Springer

75views Programming Languages» more SIGADA 1998»

Visual Support for Incremental Abstraction and Refinement in Ada 95

15 years 8 months ago

Download www.sigada.org

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

claim paper

Read More »

120

click to vote

ICCBR
1997
Springer

105views Automated Reasoning» more ICCBR 1997»

Stratified Case-Based Reasoning in Non-Refinable Abstraction Hierarchies

15 years 8 months ago

Download www.aaai.org

Karl Branting

claim paper

Read More »

133

click to vote

ATVA
2009
Springer

111views Hardware» more ATVA 2009»

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

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers