Sciweavers

20 search results - page 1 / 4

» atva 2009

11

ATVA
2009
Springer

106views Hardware» more ATVA 2009»

Verifying VLSI Circuits

13 years 9 months ago

Verifying VLSI Circuits

Download www.iist.unu.edu

Mark R. Greenstreet

claim paper

Read More »

6

ATVA
2009
Springer

85views Hardware» more ATVA 2009»

Quantitative Analysis under Fairness Constraints

13 years 11 months ago

Quantitative Analysis under Fairness Constraints

Download rocks.w3.rz.unibw-muenchen.de

Christel Baier, Marcus Größer, Frank Ci...

claim paper

Read More »

10

ATVA
2009
Springer

111views Hardware» more ATVA 2009»

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

13 years 9 months ago

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

Download www.cs.technion.ac.il

Yael Meller, Orna Grumberg, Sharon Shoham

claim paper

Read More »

5

ATVA
2009
Springer

109views Hardware» more ATVA 2009»

On-the-fly Emptiness Check of Transition-Based Streett Automata

13 years 11 months ago

On-the-fly Emptiness Check of Transition-Based Streett Automata

Download www.lrde.epita.fr

Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Miche...

claim paper

Read More »

15

ATVA
2009
Springer

146views Hardware» more ATVA 2009»

Specification Languages for Stutter-Invariant Regular Properties

13 years 9 months ago

Specification Languages for Stutter-Invariant Regular Properties

Download www.inf.ethz.ch

We present specification languages that naturally capture exactly the regular and -regular properties that are stutter invariant. Our specification languages are variants of the cl...

Christian Dax, Felix Klaedtke, Stefan Leue

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »