-
2
-
-
84896808563
-
-
Available at
-
Dwyer, M., Avrunin, G., Corbett, J., Alavi, H., Dillon, L., Pasareanu, C.: Property specification pattern notes. Available at: http://www. cis. ksu. edu/~dwyer/SPAT/notes. html, 1998.
-
(1998)
Property specification pattern notes
-
-
Dwyer, M.1
Avrunin, G.2
Corbett, J.3
Alavi, H.4
Dillon, L.5
Pasareanu, C.6
-
3
-
-
0031649229
-
Property spe cification patterns for finite state verification
-
In:, March For access to the patterns catalog see URL
-
Dwyer, M. B., Avrunin, G. S., Corbett, J. C.: Property spe cification patterns for finite state verification. In: Proc. 2nd Workshop on Formal Methods in Software Practice, March 1998. For access to the patterns catalog see URL http://www. cis. ksu. edu/~dwyer/spec-patterns. html.
-
(1998)
Proc. 2nd Workshop on Formal Methods in Software Practice
-
-
Dwyer, M.B.1
Avrunin, G.S.2
Corbett, J.C.3
-
4
-
-
20444393125
-
Formalization and validation of the radio Link protocol (RLP1)
-
Ferguson, M.: Formalization and validation of the radio Link protocol (RLP1). Computer Networks and ISDN Systems 29: (3), 1997.
-
(1997)
Computer Networks and ISDN Systems
, vol.29
, Issue.3
-
-
Ferguson, M.1
-
6
-
-
84956864340
-
-
Object Management Group. The Common Object Request Broker, Revision 2, 1, August
-
Object Management Group. The Common Object Request Broker: Architecture and Specification. Revision 2. 1, August 1997.
-
(1997)
Architecture and Specification
-
-
-
7
-
-
84863921695
-
-
Unpublished manuscript
-
Holzmann, G. J., Leue, S.: Towards v-Promela, a visual, object-oriented interface for Xspin. Unpublished manuscript, 1998.
-
(1998)
Towards v-Promela, a visual, object-oriented interface for Xspin
-
-
Holzmann, G.J.1
Leue, S.2
-
9
-
-
0028563006
-
The theory and practice of a formal method: NewCoRe
-
In:, Hamburg, Germany, August
-
Holzmann, G. J.: The theory and practice of a formal method: NewCoRe. In: Proc. IFIP World Computer Congress, Hamburg, Germany, August 1994.
-
(1994)
Proc. IFIP World Computer Congress
-
-
Holzmann, G.J.1
-
10
-
-
18944390941
-
The model checker Spin
-
May, Special issue on Formal Methods in Software Practice
-
Holzmann, G. J.: The model checker Spin. IEEE Trans. on Software Engineering 23(5): 279-295, May 1997. Special issue on Formal Methods in Software Practice.
-
(1997)
IEEE Trans. on Software Engineering
, vol.23
, Issue.5
, pp. 279-295
-
-
Holzmann, G.J.1
-
11
-
-
0032209123
-
An analysis of bitstate hashing
-
Earlier version in: Proc. PSTV95 301-314
-
Holzmann, G. J.: An analysis of bitstate hashing. Formal Methods in System Design 13(3): 287-305, 1998. Earlier version in: Proc. PSTV95, pp. 301-314.
-
(1998)
Formal Methods in System Design
, vol.13
, Issue.3
, pp. 287-305
-
-
Holzmann, G.J.1
-
12
-
-
0002518673
-
Not checking for closure under stuttering
-
In:,. American Mathematical Society, Proc. 2nd Spin Workshop
-
Holzmann, G. J., Kupferman, O.: Not checking for closure under stuttering. In: The Spin Verification System, pp. 17-22. American Mathematical Society, 1996. Proc. 2nd Spin Workshop.
-
(1996)
The Spin Verification System
, pp. 17-22
-
-
Holzmann, G.J.1
Kupferman, O.2
-
13
-
-
0000863166
-
An improvement in formal veri fication
-
In:, FORTE94, Berne, Switzerland. Chapman & Hall, October
-
Holzmann, G. J., Doron Peled. An improvement in formal veri fication. In: Proc. Formal Description Techniques, FORTE94, pp. 197-211, Berne, Switzerland. Chapman & Hall, October 1994.
-
(1994)
Proc. Formal Description Techniques
, pp. 197-211
-
-
Holzmann, G.J.1
Peled, D.2
-
16
-
-
84896837628
-
Validation of remote object invocation and object migration in CORBA GIOP using Promela/Spin
-
In:, Paris, France, November
-
Kamel, M., Leue, S.: Validation of remote object invocation and object migration in CORBA GIOP using Promela/Spin. In: Proc. 4th Int. SPIN Workshop. Ecole Nationale Supérieure de la Télécommunication, Paris, France, November 1998.
-
(1998)
Proc. 4th Int. SPIN Workshop. Ecole Nationale Supérieure de la Télécommunication
-
-
Kamel, M.1
Leue, S.2
-
17
-
-
0003799504
-
-
Berlin, Heidelberg, New York: Springer-Verlag
-
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Berlin, Heidelberg, New York: Springer-Verlag, 1992.
-
(1992)
The Temporal Logic of Reactive and Concurrent Systems
-
-
Manna, Z.1
Pnueli, A.2
-
18
-
-
84896870567
-
Outline for an operationalsematics definition of Promela
-
In:, August
-
Natarajan, V., Holzmann, G. J.: Outline for an operationalsematics definition of Promela. In: Proc. 2nd SPIN Workshop, August 1996.
-
(1996)
Proc. 2nd SPIN Workshop
-
-
Natarajan, V.1
Holzmann, G.J.2
|