FORTE 1994 | Sciweavers

28

click to vote

FORTE
1994

98views Formal Methods» more FORTE 1994»

Verifying timing properties of concurrent algorithms

14 years 1 months ago

Download groups.csail.mit.edu

Victor Luchangco, Ekrem Söylemez, Stephen J. ...

claim paper

Read More »

58

click to vote

FORTE
1994

132views Formal Methods» more FORTE 1994»

An improvement in formal verification

14 years 1 months ago

Download spinroot.com

Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...

Gerard J. Holzmann, Doron Peled

claim paper

Read More »

35

click to vote

FORTE
1994

103views Formal Methods» more FORTE 1994»

Proving the value of formal methods

14 years 1 months ago

Download spinroot.com

The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...

Gerard J. Holzmann

claim paper

Read More »

26

click to vote

FORTE
1994

112views Formal Methods» more FORTE 1994»

An attempt to embed a restricted version of SDL as a target language in Focus

14 years 1 months ago

Download www4.in.tum.de

Eckhardt Holz, Ketil Stølen

claim paper

Read More »

38

click to vote

FORTE
1994

94views Formal Methods» more FORTE 1994»

Four issues concerning the semantics of Message Flow Graphs

14 years 1 months ago

Download www.inf.uni-konstanz.de

We discuss four issues concerning the semantics of Message Flow Graphs (MFGs). MFGs are extensively used as pictures of message-passing behavior. One type of MFG, Message Sequence...

Peter B. Ladkin, Stefan Leue

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers