-
1
-
-
84888997743
-
Model checking in practice: An analysis of the access. bus protocol using spin
-
Springer, Berlin
-
Boigelot B., Godefroid P. Model checking in practice: an analysis of the access. bus protocol using spin. Formal Methods Europe'96, Oxford. Lecture Notes in Computer Science. vol. 1051:Berlin, 1996;465-478 Springer.
-
(1996)
Formal Methods Europe'96, Oxford, Lecture Notes in Computer Science
, vol.1051
, pp. 465-478
-
-
Boigelot, B.1
Godefroid, P.2
-
3
-
-
0027734857
-
Verification of the futurebus+ cache coherence protocol
-
L. Claesen (Ed.), Amsterdam: North-Holland
-
Clarke E.M., Grumberg O., Hiraishi H., Jha S., Long D.E., McMillan K.L., Ness L.A. Verification of the futurebus+ cache coherence protocol. Claesen L. Proceedings of the 11th International Symposium on Computer Hardware Description Languages and their Applications. 1993;North-Holland, Amsterdam.
-
(1993)
Proceedings of the 11th International Symposium on Computer Hardware Description Languages and their Applications
-
-
Clarke, E.M.1
Grumberg, O.2
Hiraishi, H.3
Jha, S.4
Long, D.E.5
McMillan, K.L.6
Ness, L.A.7
-
5
-
-
84957379824
-
CADP - A protocol validation and verification toolbox
-
R. Alur, & T.A. Henzinger (Eds.), Proceedings of the 8th Conference on Computer-Aided Verification, Springer, Berlin
-
Fernandez J.-C., Garavel H., Kerbrat A., Mounier L., Mateescu R., Sighireanu M. CADP - a protocol validation and verification toolbox. Alur R., Henzinger T.A. Proceedings of the 8th Conference on Computer-Aided Verification. Lecture Notes in Computer Science. vol. 1102:1997;437-440 Springer, Berlin.
-
(1997)
Lecture Notes in Computer Science
, vol.1102
, pp. 437-440
-
-
Fernandez, J.-C.1
Garavel, H.2
Kerbrat, A.3
Mounier, L.4
Mateescu, R.5
Sighireanu, M.6
-
7
-
-
0003541165
-
Computer assisted manipulation of algebraic process specifications
-
CWI, Amsterdam
-
J.F. Groote, B. Lisser, Computer assisted manipulation of algebraic process specifications, Technical Report SEN-R0117, CWI, Amsterdam, 2001.
-
(2001)
Technical Report SEN-R0117
-
-
Groote, J.F.1
Lisser, B.2
-
8
-
-
0001879305
-
The syntax and semantics of μ CRL
-
A. Ponse, C. Verhoef, & S.F.M. van Vlijmen. Berlin: Springer
-
Groote J.F., Ponse A. The syntax and semantics of. μ CRL Ponse A., Verhoef C., van Vlijmen S.F.M. Algebra of Communicating Processes '94, Workshops in Computing Series. 1995;26-62 Springer, Berlin.
-
(1995)
Algebra of Communicating Processes '94, Workshops in Computing Series
, pp. 26-62
-
-
Groote, J.F.1
Ponse, A.2
-
9
-
-
0001782338
-
A balancing act: Analyzing a distributed lift system
-
S. Griegi, U. Ultes-Nitgche (Eds.), The extended version also appeared as CWI technical report SEN-R0111
-
J.F. Groote, J. Pang, A.G. Wouters, A balancing act: analyzing a distributed lift system in: S. Griegi, U. Ultes-Nitgche (Eds.), Proceedings of the 6th International Workshop on Formal Methods for Industrial Critical Systems FMICS'2001, pp. 1-12. (The extended version also appeared as CWI technical report SEN-R0111, 2001.).
-
(2001)
Proceedings of the 6th International Workshop on Formal Methods for Industrial Critical Systems FMICS'2001
, pp. 1-12
-
-
Groote, J.F.1
Pang, J.2
Wouters, A.G.3
-
12
-
-
0035817841
-
The parallel composition of uniform processes with data
-
Groote J.F., van Wamel J.J. The parallel composition of uniform processes with data. Theoretical Computer Science. 266(1-2):2001;631-652.
-
(2001)
Theoretical Computer Science
, vol.266
, Issue.1-2
, pp. 631-652
-
-
Groote, J.F.1
Van Wamel, J.J.2
-
16
-
-
84947448782
-
Modeling and verification of a real life protocol using symbolic model checking
-
D.L. Dill. Berlin: Springer
-
Naik V.G., Sistla A.P. Modeling and verification of a real life protocol using symbolic model checking. Dill D.L. Computer Aided Verification. Lecture Notes in Computer Science. vol. 818:1994;194-206 Springer, Berlin.
-
(1994)
Computer Aided Verification, Lecture Notes in Computer Science
, vol.818
, pp. 194-206
-
-
Naik, V.G.1
Sistla, A.P.2
-
17
-
-
0004049320
-
-
Postfach 30 02 40, D-70442 Stuttgart, Germany
-
Robert Bosch Gmbh, Postfach 30 02 40, D-70442 Stuttgart, Germany, CAN Specification, Version 2.0, 1991.
-
(1991)
CAN Specification, Version 2.0
-
-
Gmbh, R.B.1
|