Formalization and Validation of the Radio Link Protocol (RLP1) (1997)

Cached

Download Links

by Michael J. Ferguson
Citations:4 - 1 self

Documents Related by Co-Citation

762 Design and Validation of Computer Protocols – G Holzmann - 1991
818 The Temporal Logic of Actions – Leslie Lamport - 1993
446 The Existence of Refinement Mappings – Martín Abadi, Leslie Lamport - 1988
25 The theory and practice of a formal method: NewCoRe – Gerard J. Holzmann - 1994
2 Not checking for closure under stuttering, in: The Spin Verification System – G Holzmann, O Kupferman - 1996
1 C.: Property specification pattern notes. Available at: http://www.cis.ksu.edu/~dwyer/SPAT/notes.html – M Dwyer, G Avrunin, J Corbett, H Alavi, L Dillon, Pasareanu - 1998
1 Leue: Formalization and validation of GIOP using Promela and Spin 409 cification patterns for finite state verification.In – M B Dwyer, G S Avrunin, J C Property spe Kamel Corbett, S
1 S.: Towards v-Promela, a visual, object-oriented interface for Xspin. Unpublished manuscript – G J Holzmann, Leue
1 G.J.: Outline for an operationalsematics definition of Promela – V Natarajan, Holzmann - 1996
11 An Analysis of Bitstate Hashing, Formal Methods in – G J Holzmann - 1998
13 Validation of Remote Object Invocation and Object Migration in CORBA GIOP using Promela/Spin – Moataz Kamel - 1998
117 Expressing interesting properties of programs in propositional temporal logic – P Wolper - 1986
9 and Doron Peled. An improvement in formal verification – G J Holzmann - 1994
11 Specification and verification of an object request broker – G Duval - 1998
1497 The Temporal Logic of Reactive and Concurrent Systems – Z Manna, A Pnueli - 1992
1254 The model checker SPIN – Gerard J. Holzmann - 1997
74 Recommendation Z.100: Specification and Description Language (SDL – ITU-T - 1994
2 TLA + Promela: conjecture, check, proof { engineering new protocols using methods and formal notations. Formal Methods Europe symposium – Jean-Charles Gregoire - 1997
1 Selected publications. Available through http://www.inrs-telecom.uquebec.ca/users/telesoft – Michael J Ferguson