Sciweavers

16 search results - page 1 / 4

» cav 1998

18

CAV
1998
Springer

106views Hardware» more CAV 1998»

Synchronous Programming of Reactive Systems

13 years 10 months ago

Synchronous Programming of Reactive Systems

Download www.cs.ioc.ee

Nicolas Halbwachs

claim paper

Read More »

13

CAV
1998
Springer

77views Hardware» more CAV 1998»

Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures

13 years 10 months ago

Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures

Download www-step.stanford.edu

Michael Colón, Tomás E. Uribe

claim paper

Read More »

14

CAV
1998
Springer

66views Hardware» more CAV 1998»

Verification of Floating-Point Adders

13 years 10 months ago

Verification of Floating-Point Adders

Download www.cs.cmu.edu

Yirng-An Chen, Randal E. Bryant

claim paper

Read More »

14

CAV
1998
Springer

117views Hardware» more CAV 1998»

MONA 1.x: New Techniques for WS1S and WS2S

13 years 10 months ago

MONA 1.x: New Techniques for WS1S and WS2S

Download www.brics.dk

Jacob Elgaard, Nils Klarlund, Anders Møller

claim paper

Read More »

16

CAV
1998
Springer

84views Hardware» more CAV 1998»

From Pre-historic to Post-modern Symbolic Model Checking

13 years 10 months ago

From Pre-historic to Post-modern Symbolic Model Checking

Download www.cs.huji.ac.il

Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer

claim paper

Read More »

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