Sciweavers

16 search results - page 1 / 4

» cav 1998

14

CAV
1998
Springer

106views Hardware» more CAV 1998»

Synchronous Programming of Reactive Systems

13 years 8 months ago

Synchronous Programming of Reactive Systems

Download www.cs.ioc.ee

Nicolas Halbwachs

claim paper

Read More »

8

CAV
1998
Springer

77views Hardware» more CAV 1998»

Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures

13 years 8 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 »

10

CAV
1998
Springer

66views Hardware» more CAV 1998»

Verification of Floating-Point Adders

13 years 8 months ago

Verification of Floating-Point Adders

Download www.cs.cmu.edu

Yirng-An Chen, Randal E. Bryant

claim paper

Read More »

10

CAV
1998
Springer

117views Hardware» more CAV 1998»

MONA 1.x: New Techniques for WS1S and WS2S

13 years 8 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 »

12

CAV
1998
Springer

84views Hardware» more CAV 1998»

From Pre-historic to Post-modern Symbolic Model Checking

13 years 8 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 »