Sciweavers

14 search results - page 1 / 3

» atva 2004

9

ATVA
2004
Springer

90views Hardware» more ATVA 2004»

Specification, Abduction, and Proof

13 years 10 months ago

Specification, Abduction, and Proof

Download www.cag.lcs.mit.edu

Konstantine Arkoudas

claim paper

Read More »

10

ATVA
2004
Springer

68views Hardware» more ATVA 2004»

Theorem Proving Languages for Verification

13 years 8 months ago

Theorem Proving Languages for Verification

Download www.lix.polytechnique.fr

Jean-Pierre Jouannaud

claim paper

Read More »

10

ATVA
2004
Springer

71views Hardware» more ATVA 2004»

Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets

13 years 10 months ago

Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets

Download users.dsic.upv.es

Marisa Llorens, Javier Oliver

claim paper

Read More »

10

ATVA
2004
Springer

106views Hardware» more ATVA 2004»

Design and Evaluation of a Symbolic and Abstraction-Based Model Checker

13 years 10 months ago

Design and Evaluation of a Symbolic and Abstraction-Based Model Checker

Download www.lsv.ens-cachan.fr

Serge Haddad, Jean-Michel Ilié, Kais Klai

claim paper

Read More »

12

ATVA
2004
Springer

67views Hardware» more ATVA 2004»

Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets

13 years 10 months ago

Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets

Download www.async.ece.utah.edu

Scott Little, David Walter, Nicholas Seegmiller, C...

claim paper

Read More »

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