PSTV 1993 | Sciweavers

18

PSTV
1992

113views Hardware» more PSTV 1992»

Coverage Preserving Reduction Strategies for Reachability Analysis

13 years 5 months ago

We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...

Gerard J. Holzmann, Patrice Godefroid, Didier Piro...

claim paper

Read More »

12

click to vote

PSTV
1989

58views Hardware» more PSTV 1989»

Validating SDL Specifications: an Experiment

13 years 5 months ago

Download spinroot.com

Gerard J. Holzmann, Joanna Patti

claim paper

Read More »

16

click to vote

PSTV
1989

71views Hardware» more PSTV 1989»

Open Distributed Processing

13 years 5 months ago

Download wwwhome.cs.utwente.nl

This paper proposes design concepts that allow the conception, understanding and development of complex technical structures for open distributed systems. The proposed concepts ar...

J. J. van Griethuysen

claim paper

Read More »

9

click to vote

PSTV
1993

89views Hardware» more PSTV 1993»

What Makes Industries Believe in Formal Methods

13 years 5 months ago

Download wwwhome.cs.utwente.nl

Chris A. Vissers, Marten van Sinderen, Luís...

claim paper

Read More »

10

click to vote

PSTV
1993

85views Hardware» more PSTV 1993»

An Engineering Approach to Formal Methods

13 years 5 months ago

Download www.cs.stir.ac.uk

Kenneth J. Turner

claim paper

Read More »

16

click to vote

PSTV
1993

123views Hardware» more PSTV 1993»

On the Verification of Temporal Properties

13 years 5 months ago

Download spinroot.com

We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...

Patrice Godefroid, Gerard J. Holzmann

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers