Volume 14; Issue 3

Formal Aspects of Computing

Volume 14; Issue 3

1

Editorial

JOHN COOKE, SAVI MAHARAJ, JUDI ROMIJN, CARRON SHANKLAND

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 26 KB

english, 2003

2

IEEE 1394 Tree Identify Protocol: Introduction to the Case Study

He Jifeng, Xu Qiwen

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 171 KB

english, 2003

3

A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol

Jean-Raymond Abrial, Dominique Cansell, Dominique Méry

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 126 KB

english, 2003

4

Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic

Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 168 KB

english, 2003

5

Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol

M. Calder, A. Miller

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 182 KB

english, 2003

6

Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV

Viktor Schuppan, Armin Biere

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 142 KB

english, 2003

7

But What if I Don't Want to Wait Forever?

Colin Fidge, Carron Shankland

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 145 KB

english, 2003

8

Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol

Marta Kwiatkowska, Gethin Norman, Jeremy Sproston

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 256 KB

english, 2003

9

False Loop Detection in the IEEE 1394 Tree Identify Phase

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 289 KB

english, 2003

10

Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol

Mariëlle Stoelinga

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 113 KB

english, 2003