Sciweavers

19

CAV
1998
Springer

117views Hardware» more CAV 1998»

MONA 1.x: New Techniques for WS1S and WS2S

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

18

CAV
1998
Springer

77views Hardware» more CAV 1998»

Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures

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

19

CAV
1998
Springer

66views Hardware» more CAV 1998»

Verification of Floating-Point Adders

13 years 11 months ago

Verification of Floating-Point Adders

Download www.cs.cmu.edu

Yirng-An Chen, Randal E. Bryant

claim paper

Read More »

24

CAV
1998
Springer

98views Hardware» more CAV 1998»

Verification of Timed Systems Using POSETs

13 years 11 months ago

Verification of Timed Systems Using POSETs

Download www.async.ece.utah.edu

This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...

Wendy Belluomini, Chris J. Myers

claim paper

Read More »

23

CAV
1998
Springer

100views Hardware» more CAV 1998»

Mechanising BAN Kerberos by the Inductive Method

13 years 11 months ago

Mechanising BAN Kerberos by the Inductive Method

Download www.cl.cam.ac.uk

The version of Kerberos presented by Burrows et al. [5] is fully mechanised using the Inductive Method. Two models are presented, allowing respectively the leak of any session keys...

Giampaolo Bella, Lawrence C. Paulson

claim paper

Read More »

14

CAV
1998
Springer

75views Hardware» more CAV 1998»

MOCHA: Modularity in Model Checking

13 years 11 months ago

MOCHA: Modularity in Model Checking

Download www.eecs.berkeley.edu

Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Man...

claim paper

Read More »