-
1
-
-
84957382671
-
-
The DisCo project home page. http://www.cs.tut.fi/laitos/DisCo/.
-
-
-
-
2
-
-
84956862316
-
Translating specifications in VDM-SL to PVS
-
In J. von Wright, T. Grundy, and J. Harrison, editors, Springer-Verlag
-
Sten Agerhotm. Translating specifications in VDM-SL to PVS. In J. von Wright, T. Grundy, and J. Harrison, editors, Proceedings of the 9th International Con]erence on Theorem Proving in Higher Order Logics, volume 1125 of Lecture Notes in Computer Science, pages 1-16. Springer-Verlag, 1996.
-
(1996)
Proceedings of the 9Th International Con]Erence on Theorem Proving in Higher Order Logics, Volume 1125 of Lecture Notes in Computer Science
, pp. 1-16
-
-
Agerhotm, S.1
-
3
-
-
85027995283
-
Program verification using HOLUNITY
-
J. J. Joyce and C.-J.H Seger, editors
-
F. Andersen, K. D. Petersen, and J. S. Petterson. Program verification using HOLUNITY. In J. J. Joyce and C.-J.H Seger, editors, International Workshop on Higher Order Logic and its Applications, volume 780 of Lecture Notes in Computer Science, pages 1-16, 1994.
-
(1994)
International Workshop on Higher Order Logic and Its Applications, Volume 780 of Lecture Notes in Computer Science
, pp. 1-16
-
-
Andersen, F.1
Petersen, K.D.2
Petterson, J.S.3
-
5
-
-
0024664310
-
Decentralization of process nets with a centralized control
-
R. J. R. Back and R. Kurki-Suonio. Decentralization of process nets with a centralized control. Distributed Computing, (3):73-87, 1989.
-
(1989)
Distributed Computing
, Issue.3
, pp. 73-87
-
-
Back, R.J.R.1
Kurki-Suonio, R.2
-
6
-
-
0001531470
-
A note on refiable full-duplex transmission over half-duplex links
-
May
-
K.A. Bartlett, R.A. Scantlebury, and P.T. Wilkinson. A note on refiable full-duplex transmission over half-duplex links. Communications of the ACM, 12(5):260-261, May 1969.
-
(1969)
Communications of the ACM
, vol.12
, Issue.5
, pp. 260-261
-
-
Bartlett, K.A.1
Scantlebury, R.A.2
Wilkinson, P.T.3
-
8
-
-
0026285434
-
A calculus of durations
-
December
-
Zhou Chaochen, C. A. R. Hoare, and Anders P. Ravn. A calculus of durations. Information Processing Letter.s, 40(5):269-276, December 1991.
-
(1991)
Information Processing Letter.S
, vol.40
, Issue.5
, pp. 269-276
-
-
Chaochen, Z.1
Hoare, C.A.R.2
Ravn, A.P.3
-
10
-
-
0029178422
-
Mechanical verification of distributed algorithms in higherorder logic
-
Ching-Tsun Chou. Mechanical verification of distributed algorithms in higherorder logic. The Computer Journal, 38(1), 1995.
-
(1995)
The Computer Journal
, vol.38
, Issue.1
-
-
Chou, C.-T.1
-
11
-
-
0004455847
-
Mechanical verification of concurrent systems with TLA
-
G. v. Bochmann and D. K. Probst, editors, Montreal, Canada. June 29 - July 1, volume 663 of Lecture Notes in Computer Science. Springer Verlag
-
Urban Engberg, Peter Gronning, and Leslie Lamport. Mechanical verification of concurrent systems with TLA. In G. v. Bochmann and D. K. Probst, editors, Computer Aided Verification- Fourth International Workshop. CA V'92. Montreal, Canada. June 29 - July 1, volume 663 of Lecture Notes in Computer Science. Springer Verlag, 1992.
-
(1992)
Computer Aided Verification- Fourth International Workshop. CA V'92
-
-
Engberg, U.1
Gronning, P.2
Lamport, L.3
-
12
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
June
-
David Hard. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
-
(1987)
Science of Computer Programming
, vol.8
, Issue.3
, pp. 231-274
-
-
Hard, D.1
-
13
-
-
84955600143
-
Experiments in theorem proving and model checking for protocol verification
-
K. Havelund and N. Shankar. Experiments in theorem proving and model checking for protocol verification. Lecture Notes in Computer Science, 1051, 1996.
-
(1996)
Lecture Notes in Computer Science
, vol.1051
-
-
Havelund, K.1
Shankar, N.2
-
14
-
-
84956853032
-
A modular coding of UNITY in COQ
-
J. yon Wright, T. Grundy, and J. Harrison, editors
-
Barbara Heyd and Pierre Crégut. A modular coding of UNITY in COQ. In J. yon Wright, T. Grundy, and J. Harrison, editors, Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, volume 1125 of Lecture Notes in Computer Science, pages 251-266, 1996.
-
(1996)
Proceedings of the 9Th International Conference on Theorem Proving in Higher Order Logics, Volume 1125 of Lecture Notes in Computer Science
, pp. 251-266
-
-
Heyd, B.1
Pierre, C.2
-
17
-
-
0025085104
-
Object-oriented specification of reactive systems
-
IEEE Computer Society Press
-
Reino Kurki-Suonio, Hannu-Matti Järvinen, Markku Sakkinen, and Kari Systäi. Object-oriented specification of reactive systems. In Proceedings of the 12th International Conference on Software Engineering, pages 63-71. IEEE Computer Society Press, 1990.
-
(1990)
Proceedings of the 12Th International Conference on Software Engineering
, pp. 63-71
-
-
Kurki-Suonio, R.1
Järvinen, H.-M.2
Sakkinen, M.3
Kari, S.4
-
20
-
-
84944677742
-
PVS: A prototype verification system
-
Deepak IKapur, editor, Springer Verlag
-
S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype verification system. In Deepak IKapur, editor, 11th International Conference on Automated Deduction, volume 607 of Lecture Notes in Artificial Intelligence, pages 748-752. Springer Verlag, 1992.
-
(1992)
11Th International Conference on Automated Deduction, Volume 607 of Lecture Notes in Artificial Intelligence
, pp. 748-752
-
-
Owre, S.1
Rushby, J.M.2
Shankar, N.3
-
21
-
-
84969380610
-
Towards a Duration Calculus proof assistant in PVS
-
In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Lfibeck, Germany, September, Springer- Vertag
-
Jens U. Skakkebaek and N. Shankar. Towards a Duration Calculus proof assistant in PVS. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of Lecture Notes in Computer Science, pages 660-679, Lfibeck, Germany, September 1994. Springer- Vertag.
-
(1994)
Formal Techniques in Real-Time and Fault-Tolerant Systems, Volume 863 of Lecture Notes in Computer Science
, pp. 660-679
-
-
Skakkebaek, J.U.1
Shankar, N.2
-
22
-
-
84957382673
-
Using a theorem prover for reasoning about concurrent algorithms
-
In G. v. Bochmann and D. K. Probst, editors, Montreal, Canada. June 29 - July 1, volume 663 of Lecture Notes in Computer Science. Springer Verlag
-
J. yon Wright and T. Långbacka. Using a theorem prover for reasoning about concurrent algorithms. In G. v. Bochmann and D. K. Probst, editors, Computer Aided Verification - Fourth International Workshop. CA V'92. Montreal, Canada. June 29 - July 1, volume 663 of Lecture Notes in Computer Science. Springer Verlag, 1992.
-
(1992)
Computer Aided Verification - Fourth International Workshop. CA V'92
-
-
Yon Wright, J.1
Långbacka, T.2
|