Towards formal verification of ToolBus scripts

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

Volumn 5140 LNCS, Issue , 2008, Pages 160-166

  Fokkink, Wan ^a,b   Klint, Paul ^a,c   Lisser, Bert ^a   Usenko, Yaroslav S ^a,d  

^a CWI   (Netherlands)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

^c UNIVERSITY OF AMSTERDAM   (Netherlands)

^d EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER NETWORKS; COMPUTER PROGRAMMING LANGUAGES; LINGUISTICS; MODEL CHECKING; TECHNOLOGY;

FORMAL VERIFICATIONS; INTERNATIONAL CONFERENCES; SOFTWARE TECHNOLOGIES; TOOLBUS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 51049103435     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79980-1_13     Document Type: Conference Paper

References (23)

1. Bergstra, J., Klint, P.: The ToolBus coordination architecture. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol. 1061, pp. 75-88. Springer, Heidelberg (1996)
2. Bergstra, J., Klint, P.: The discrete time ToolBus - a software coordination architecture. Sci. Comput. Program. 31(2-3), 205-229 (1998)
3. Bergstra, J., Klop, J.W.: Process algebra, for synchronous communication. Information and Control 60(1-3), 109-137 (1984)
4. Groote, J.F., Mathijssen, A., Reniers, M., Usenko, Y., van Weerdenburg, M.: The formal specification language mCRL2. In: Proc. Methods for Modelling Software Systems. Number 06351 in Dagstuhl Seminar Proceedings (2007)
5. Bergstra, J., Heering, J., Klint, P.: Module algebra. J. ACM 37(2), 335-372 (1990)
6. Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP 2006: A toolbox for the construction and analysis of distributed processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 158-163. Springer, Heidelberg (2007)
7. Wing, J.: Writing Larch interface language specifications. ACM TOPLAS 9(1), 1-24 (1987)
8. Guaspari, D., Marceau, C., Polak, W.: Formal verification of Ada programs. IEEE Trans. Software Eng. 16(9), 1058-1075 (1990)
9. Zhao, J., Rinard, M.: Pipa: A behavioral interface specification language for AspectJ. In: Pezzé, M. (ed.) ETAPS 2003 and FASE 2003. LNCS, vol. 2621, pp. 150-165. Springer, Heidelberg (2003)
10. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 327-353. Springer, Heidelberg (2001)
11. Larsson, D., Alexandersson, R.: Formal verification of fault tolerance aspects. In: Proc. ISSRE 2005, pp. 279-280. IEEE, Los Alamitos (2005)
12. Diertens, B.: Simulation and animation of process algebra specifications. Technical Report P9713, University of Amsterdam (1997)
13. Diertens, B.: Software (re-)engineering with PSF III: An IDE for PSF. Technical Report PRG0708, University of Amsterdam (2007)
14. van den Brand, M., de Jong, H., Klint, P., Olivier, P.: Efficient annotated terms. Softw. Pract. Exper. 30(3), 259-291 (2000)
15. Klint, P.: A meta-environment for generating programming environments. ACM TOSEM 2(2), 176-201 (1993)
16. van den Brand, M., van Deursen, A., Heering, J., de Jong, H., de Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P., Scheerder, J., Vinju, J., Visser, E., Visser, J.: The ASF+SDF Meta-Environment: a Component-Based Language Development Environment. In: Wilhelm, R. (ed.) CC 2001 and ETAPS 2001. LNCS, vol. 2027, pp. 365-370. Springer, Heidelberg (2001)
17. Fokkink, W., Ioustinova, N., Kesseler, E., van de Pol, J., Usenko, Y., Yushtein, Y.: Refinement and verification applied to an in-flight data acquisition unit. In: Brim, L., Jančar, P., Křetí nský, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, pp. 1-23. Springer, Heidelberg (2002)
18. Blom, S., Ioustinova, N., Sidorova, N.: Timed verification with μCRL. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol. 2890, pp. 178-192. Springer, Heidelberg (2004)
19. Wijs, A.: Achieving discrete relative timing with untimed process algebra. In: Proc. ICECCS 2007, pp. 35-46. IEEE, Los Alamitos (2007)
20. Alur, R., Dill, D.: A theory of timed automata. Theor. Comput, Sci. 126, 183-235 (1994)
21. Alur, R.: Timed automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 8-22. Springer, Heidelberg (1999)
22. Groote, J.F., Reniers, M., Usenko, Y.: Time abstraction in timed μCRL a la regions. In: Proc. IPDPS 2006. IEEE, Los Alamitos (2006)
23. Valero Espada, M., van de Pol, J.: An abstract interpretation toolkit for μCRL. Formal Methods in System Design 30(3), 249-273 (2007)