-
5
-
-
0029178422
-
Mechanical verification of distributed algorithms in higher-order logic
-
C.-T. Chou, Mechanical verification of distributed algorithms in higher-order logic, The Computer Journal 38(2) (1995) 152-161.
-
(1995)
The Computer Journal
, vol.38
, Issue.2
, pp. 152-161
-
-
Chou, C.-T.1
-
8
-
-
0001801746
-
Protocol verification as a hardware design aid
-
IEEE Computer Soc. Press, Los Alamitos, CA
-
D.L. Dill, A.J. Drexler, A.J. Hu and C.H. Yang, Protocol verification as a hardware design aid, in: 1992 IEEE Internat. Conf. on Computer Design: VLSI in Computers and Processors (IEEE Computer Soc. Press, Los Alamitos, CA, 1992) pp. 522-525.
-
(1992)
1992 IEEE Internat. Conf. on Computer Design: VLSI in Computers and Processors
, pp. 522-525
-
-
Dill, D.L.1
Drexler, A.J.2
Hu, A.J.3
Yang, C.H.4
-
9
-
-
0025516938
-
A survey of light-weight transport protocols for high-speed networks
-
W.A. Doeringer, D. Dykeman, M. Kaiserswerth, W. Meister, H. Rudin and R. Williamson, A survey of light-weight transport protocols for high-speed networks, IEEE Transactions on Communications 38(11) (1990) 2025-2039.
-
(1990)
IEEE Transactions on Communications
, vol.38
, Issue.11
, pp. 2025-2039
-
-
Doeringer, W.A.1
Dykeman, D.2
Kaiserswerth, M.3
Meister, W.4
Rudin, H.5
Williamson, R.6
-
10
-
-
24244466742
-
-
Diploma thesis, University of Dortmund, Department of Computer Science, Dortmund, Germany
-
O. Drögehorn, Ein Werkzeug zum formal basierten Entwurf von Hochleistungstransportprotokollen (in German), Diploma thesis, University of Dortmund, Department of Computer Science, Dortmund, Germany (1996).
-
(1996)
Ein Werkzeug Zum Formal Basierten Entwurf Von Hochleistungstransportprotokollen (in German)
-
-
Drögehorn, O.1
-
11
-
-
24244433970
-
Formal specification and verification of transfer-protocols for system-design in VHDL
-
Lausanne, Switzerland
-
O. Drögehorn, O. Terhorst, H.-D. Hümmer and W. Geisselhardt, Formal specification and verification of transfer-protocols for system-design in VHDL, in: Proc. of the 1st Internat. Forum on Design Languages (FDL), Lausanne, Switzerland, 1998.
-
(1998)
Proc. of the 1st Internat. Forum on Design Languages (FDL)
-
-
Drögehorn, O.1
Terhorst, O.2
Hümmer, H.-D.3
Geisselhardt, W.4
-
12
-
-
0004455847
-
Mechanical verification of concurrent systems with TLA
-
eds. G. von Bochmann and D.K. Probst, Montreal (Springer, Berlin)
-
U. Engberg, P. Grønning and L. Lamport, Mechanical verification of concurrent systems with TLA, in: Verification 4th Internat. Workshop, CAV '92, eds. G. von Bochmann and D.K. Probst, Montreal (Springer, Berlin, 1992) pp. 44-55.
-
(1992)
Verification 4th Internat. Workshop, CAV '92
, pp. 44-55
-
-
Engberg, U.1
Grønning, P.2
Lamport, L.3
-
14
-
-
84990968899
-
"On the fly" verification of behavioural equivalences and preorders
-
Springer, Berlin/Heidelberg
-
J.-C. Fernandez and L. Mounier, "On the fly" verification of behavioural equivalences and preorders, in: Lecture Notes in Computer Science (Springer, Berlin/Heidelberg, 1991) pp. 181-191.
-
(1991)
Lecture Notes in Computer Science
, pp. 181-191
-
-
Fernandez, J.-C.1
Mounier, L.2
-
15
-
-
0141640128
-
CADP'97 - Status, applications and perspectives
-
H. Garavel, M. Jorgensen, R. Mateescu, C. Recheur, M. Sighireanu and B. Vivien, CADP'97 - Status, applications and perspectives, in: COST247 Workshop on Applied Formal Methods in System Design, 1997.
-
(1997)
COST247 Workshop on Applied Formal Methods in System Design
-
-
Garavel, H.1
Jorgensen, M.2
Mateescu, R.3
Recheur, C.4
Sighireanu, M.5
Vivien, B.6
-
16
-
-
0141752135
-
-
Diploma thesis, University of Dortmund, Department of Computer Science, Dortmund, Germany
-
A. Geist, Eine Theorembeweiser-gestützte Entwicklungsumgebung für die halbautomatische Verifikation verteilter Systeme (in German), Diploma thesis, University of Dortmund, Department of Computer Science, Dortmund, Germany (1994).
-
(1994)
Eine Theorembeweiser-gestützte Entwicklungsumgebung für Die Halbautomatische Verifikation Verteilter Systeme (in German)
-
-
Geist, A.1
-
17
-
-
0002476777
-
Software's chronic crisis
-
W.W. Gibbs, Software's chronic crisis, Scientific American 271(3) (1994) 72-81.
-
(1994)
Scientific American
, vol.271
, Issue.3
, pp. 72-81
-
-
Gibbs, W.W.1
-
18
-
-
84962018368
-
Verification of UML-based real-time system designs by means of cTLA
-
Newport Beach (IEEE Computer Soc. Press, Los Alamitos, CA)
-
G. Graw, P. Herrmann and H. Krumm, Verification of UML-based real-time system designs by means of cTLA, in: Proc. of the 3rd IEEE Internat. Symposium on Object-oriented Real-time distributed Computing (ISORC2K), Newport Beach (IEEE Computer Soc. Press, Los Alamitos, CA, 2000) pp. 86-95.
-
(2000)
Proc. of the 3rd IEEE Internat. Symposium on Object-oriented Real-time Distributed Computing (ISORC2K)
, pp. 86-95
-
-
Graw, G.1
Herrmann, P.2
Krumm, H.3
-
20
-
-
84955600143
-
Experiments in theorem proving and model checking for protocol verification
-
Oxford (Springer, Berlin)
-
K. Havelund and N. Shankar, Experiments in theorem proving and model checking for protocol verification, in: Formal Methods Europe (FME '96), Oxford (Springer, Berlin, 1996) pp. 662-681.
-
(1996)
Formal Methods Europe (FME '96)
, pp. 662-681
-
-
Havelund, K.1
Shankar, N.2
-
22
-
-
0141752136
-
Compositional specification and structured verification of hybrid systems in cTLA
-
Kyoto (IEEE Computer Soc. Press, Los Alamitos, CA)
-
P. Herrmann, G. Graw and H. Krumm, Compositional specification and structured verification of hybrid systems in cTLA, in: Proc. of the 1st IEEE Internat. Symposium on Object-oriented Real-time Distributed Computing (ISORC'98), Kyoto (IEEE Computer Soc. Press, Los Alamitos, CA, 1998) pp. 335-340.
-
(1998)
Proc. of the 1st IEEE Internat. Symposium on Object-oriented Real-time Distributed Computing (ISORC'98)
, pp. 335-340
-
-
Herrmann, P.1
Graw, G.2
Krumm, H.3
-
23
-
-
0141529026
-
Compositional specification and verification of high-speed transfer protocols
-
eds. S.T. Vuong and S.T. Chanson, Vancouver, BC, Canada, (Chapman & Hall, London)
-
P. Herrmann and H. Krumm, Compositional specification and verification of high-speed transfer protocols, in: Protocol Specification, Testing, and Verification XIV, eds. S.T. Vuong and S.T. Chanson, Vancouver, BC, Canada, 1994 (Chapman & Hall, London) pp. 339-346.
-
(1994)
Protocol Specification, Testing, and Verification XIV
, pp. 339-346
-
-
Herrmann, P.1
Krumm, H.2
-
24
-
-
0141640127
-
Re-usable verification elements for high-speed transfer protocol configurations
-
eds. P. Dembiński and M. Średniawa, Warsaw, Poland, Chapman & Hall, London
-
P. Herrmann and H. Krumm, Re-usable verification elements for high-speed transfer protocol configurations, in: Protocol Specification, Testing, and Verification XV, eds. P. Dembiński and M. Średniawa, Warsaw, Poland, 1995 (Chapman & Hall, London) pp. 171-186.
-
(1995)
Protocol Specification, Testing, and Verification XV
, pp. 171-186
-
-
Herrmann, P.1
Krumm, H.2
-
25
-
-
22044434009
-
Modular specification and verification of XTP
-
P. Herrmann and H. Krumm, Modular specification and verification of XTP, Telecommunication Systems 9(2) (1998) 207-221.
-
(1998)
Telecommunication Systems
, vol.9
, Issue.2
, pp. 207-221
-
-
Herrmann, P.1
Krumm, H.2
-
26
-
-
0033691822
-
A framework for modeling transfer protocols
-
P. Herrmann and H. Krumm, A framework for modeling transfer protocols, Computer Networks 34(2) (2000) 317-337.
-
(2000)
Computer Networks
, vol.34
, Issue.2
, pp. 317-337
-
-
Herrmann, P.1
Krumm, H.2
-
28
-
-
0141640126
-
-
Diploma thesis, University of Dortmund, Department of Computer Science, Dortmund, Germany
-
V. Hinz, Formale Spezifikation und Verifikation eines Hochleistungstransferprotokolls mit dem Transferprotokollframework (in German), Diploma thesis, University of Dortmund, Department of Computer Science, Dortmund, Germany (1998).
-
(1998)
Formale Spezifikation und Verifikation Eines Hochleistungstransferprotokolls Mit dem Transferprotokollframework (in German)
-
-
Hinz, V.1
-
29
-
-
0025207743
-
Algorithms for automated protocol verification
-
G.J. Holzmann, Algorithms for automated protocol verification, AT&T Technical Journal (1990) 32-44.
-
(1990)
AT&T Technical Journal
, pp. 32-44
-
-
Holzmann, G.J.1
-
31
-
-
84966441170
-
New aspects in high-level specification, verification, and design of IT protocols
-
Pirenopolis, Brazil
-
H.D. Hümmer and W. Geisselhardt, New aspects in high-level specification, verification, and design of IT protocols, in: 14th Internat Symposium on Integrated Circuits and System Design (SBCCI 2001), Pirenopolis, Brazil, 2001, pp. 58-63.
-
(2001)
14th Internat Symposium on Integrated Circuits and System Design (SBCCI 2001)
, pp. 58-63
-
-
Hümmer, H.D.1
Geisselhardt, W.2
-
33
-
-
0141863689
-
Projections of the reachability graph and environment models
-
ed. J. Sifakis (Springer, Berlin)
-
H. Krumm, Projections of the reachability graph and environment models, in: Automatic Verification Methods for Finite State Systems, ed. J. Sifakis (Springer, Berlin, 1990).
-
(1990)
Automatic Verification Methods for Finite State Systems
-
-
Krumm, H.1
-
34
-
-
21344496396
-
Hybrid models with fairness and distributed clocks
-
Springer, New York
-
R. Kurki-Suonio, Hybrid models with fairness and distributed clocks, in: Lecture Notes in Computer Science, Vol. 736 (Springer, New York, 1993) pp. 103-120.
-
(1993)
Lecture Notes in Computer Science
, vol.736
, pp. 103-120
-
-
Kurki-Suonio, R.1
-
37
-
-
0026154997
-
Architectures, features, and implementation of high-speed transport protocols
-
T.F. La Porta and M. Schwartz, Architectures, features, and implementation of high-speed transport protocols, IEEE Network Magazine (1991) 14-22.
-
(1991)
IEEE Network Magazine
, pp. 14-22
-
-
La Porta, T.F.1
Schwartz, M.2
-
42
-
-
0003734406
-
A Davis-Putnam program and its application to finite first-order model search: Quasi-group existence problems
-
Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, USA
-
W.W. McCune, A Davis-Putnam program and its application to finite first-order model search: Quasi-group existence problems, Technical Report, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, USA (1994).
-
(1994)
Technical Report
-
-
McCune, W.W.1
-
43
-
-
0003734447
-
OTTER 3.0 reference manual and guide
-
Argonne National Laboratory, Argonne, IL, USA
-
W.W. McCune, OTTER 3.0 Reference Manual and Guide, Technical Report ANL-94/6, Argonne National Laboratory, Argonne, IL, USA (1994).
-
(1994)
Technical Report
, vol.ANL-94-6
-
-
McCune, W.W.1
-
44
-
-
0141640125
-
A methodology for hardware verification using compositional model checking
-
Cadence Berkley Labs, Berkley, CA, USA
-
K.L. McMillan, A methodology for hardware verification using compositional model checking, Technical Report, Cadence Berkley Labs, Berkley, CA, USA (1999).
-
(1999)
Technical Report
-
-
McMillan, K.L.1
-
46
-
-
84957365826
-
PVS: Combining specification, proof checking, and model checking
-
eds. R. Alur and T.A. Henzinger, New Brunswick (Springer, Berlin)
-
S. Owre, S. Rajan, J.M. Rushby, N. Shankar and M.K. Srivas, PVS: Combining specification, proof checking, and model checking, in: Computer-Aided Verification (CAV'96), eds. R. Alur and T.A. Henzinger, New Brunswick (Springer, Berlin, 1996) pp. 411-414.
-
(1996)
Computer-aided Verification (CAV'96)
, pp. 411-414
-
-
Owre, S.1
Rajan, S.2
Rushby, J.M.3
Shankar, N.4
Srivas, M.K.5
-
47
-
-
0002089129
-
Isabelle: The next 700 theorem provers
-
ed. P. Odifreddi (Academic Press, New York)
-
L.C. Paulson, Isabelle: The next 700 theorem provers, in: Logic and Computer Science, ed. P. Odifreddi (Academic Press, New York,1990) pp. 361-386.
-
(1990)
Logic and Computer Science
, pp. 361-386
-
-
Paulson, L.C.1
-
48
-
-
0043018707
-
An introduction to formal specification and verification using EHDM
-
Computer Science Laboratory, SRI International, Menlo Park, CA, USA
-
J. Rushby, F. von Henke and S. Owre, An introduction to formal specification and verification using EHDM, Technical Report, Computer Science Laboratory, SRI International, Menlo Park, CA, USA, 1991.
-
(1991)
Technical Report
-
-
Rushby, J.1
Von Henke, F.2
Owre, S.3
-
50
-
-
0001829728
-
Architecture and specification style in formal descriptions of distributed systems
-
eds. S. Agarwal and K. Sabnani (Elsevier, Amsterdam)
-
C.A. Vissers, G. Scollo and M. van Sinderen, Architecture and specification style in formal descriptions of distributed systems, in: Protocol Specification, Testing and Verification, Vol. VIII, eds. S. Agarwal and K. Sabnani (Elsevier, Amsterdam, 1988) pp. 189-204.
-
(1988)
Protocol Specification, Testing and Verification
, vol.8
, pp. 189-204
-
-
Vissers, C.A.1
Scollo, G.2
Van Sinderen, M.3
-
52
-
-
0141640124
-
-
XTP Forum, Santa Barbara, CA, USA, available via FTP: dancer.ca.sandia.gov in directory pub/xtp4.0.
-
XTP transport protocol specification, revision 4.0, XTP Forum, Santa Barbara, CA, USA (1995), available via FTP: dancer.ca.sandia.gov in directory pub/xtp4.0.
-
(1995)
XTP Transport Protocol Specification, Revision 4.0
-
-
-
53
-
-
84958641324
-
Model checking TLA+ specifications
-
eds. L. Pierre and T. Kropf (Springer, Berlin)
-
Y. Yu, P. Manolios and L. Lamport, Model checking TLA+ specifications, in: Correct Hardware Design and Verification Methods (CHARME '99), eds. L. Pierre and T. Kropf (Springer, Berlin, 1999) pp. 54-66.
-
(1999)
Correct Hardware Design and Verification Methods (CHARME '99)
, pp. 54-66
-
-
Yu, Y.1
Manolios, P.2
Lamport, L.3
|