On the verification of coordination

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1906, Issue , 2000, Pages 335-340

  Dechering, Paul ^a   Langevelde, Izak Van ^b  

^a THALES NEDERLAND B V   (Netherlands)

^b CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

AUTOMATICALLY GENERATED; COORDINATION LANGUAGE; DATA MANIPULATIONS; DEADLOCK FREENESS; ETHERNET NETWORKS; SCENARIO-BASED; TRANSITION SYSTEM;

MODEL CHECKING;

EID: 84979279933     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45263-x_25     Document Type: Conference Paper

References (11)

1. M. Boasson. Control systems software. IEEE Transactions on Automatic Control, 38 (7): 1094-1106, July 1993.
2. M. M. Bonsangue, J. N. Kok, M. Boasson, and E. de Jong. A Software Architecture for Distributed Control Systems and its Transition System Semantics. In J. Carroll, G. Lamont, D. Oppenheim, K. George, and B. Bryant, editors, Proceedings of the 1998 ACM Symposium on Applied Computing (SAC’98), pages 159-168. ACM press, Feb. 1998.
3. M. M. Bonsangue, J. N. Kok, and G. Zavattaro. Comparing software architectures for coordination languages. In P. Ciancarini and A. L. Wolf, editors, Proceedings of Coordination’99, volume 1594 of Lecture Notes in Computer Science, pages 150-165. Springer Verlag, 1999.
4. E. W. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 1999.
5. P. Dechering and I. A. van Langevelde. Towards automatic verification of SPLICE. Technical Report SEN-R0015, CWI, May 2000. Available from http: //www. cwi. nl.
6. J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. Cadp (Cæsar/Aldébaran development package): A protocol validation and verification toolbox. In R. Alur and T. A. Henzinger, editors, Proceedings of the 8th Conference on Computer-Aided Verification, volume 1102 of Lecture Notes in Computer Science, pages 437-440. Springer Verlag, Aug. 1996.
7. J. F. Groote. The syntax and semantics of timed μCRL. Technical Report SENR9709, CWI, June 1997. Available from http: //www. cwi. nl.
8. C. Hoare. An axiomatic approach to computer programming. Commun. ACM, 12 (10): 576-583, Oct. 1969.
9. G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
10. Z. Manna and A. Pnueli. Temporal Verifications of Reactive Systems-safety. Springer Verlag, 1995.
11. S. Rajan, N. Shankar, and M. Srivar. An integration of model checking with automated proof checking. In P. Wolper, editor, Proceedings of the 1995 workshop on Computer Aided Verification, volume 939 of Lecture Notes in Computer Science, 1995.