|
733
|
The Design and Validation of Computer Protocols
– Gerard Holzmann
- 1991
|
|
765
|
The Temporal Logic of Actions
– Leslie Lamport
- 1993
|
|
409
|
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
|
|
7
|
and Doron Peled. An improvement in formal verification
– G J Holzmann
- 1994
|
|
12
|
Validation of Remote Object Invocation and Object Migration in CORBA GIOP using Promela/Spin
– Moataz Kamel
- 1998
|
|
9
|
Specification and verification of an object request broker
– Gregory Duval
- 1998
|
|
11
|
An Analysis of Bitstate Hashing, Formal Methods in
– G J Holzmann
- 1998
|
|
113
|
Expressing interesting properties of programs in propositional temporal logic
– P Wolper
- 1986
|
|
72
|
Recommendation Z.100. Specification and Description Language (SDL
– ITU-T
- 1999
|
|
1412
|
A.: The Temporal Logic of Reactive and Concurrent Systems: Safety
– Z Manna, Pnueli
- 1995
|
|
1130
|
The model checker SPIN
– Gerard J. Holzmann
- 1997
|
|
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
|
