Abstract
This special section is devoted to a selection of journal versions of papers that appeared originally in the Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), which took place in Grenoble, France in April 2002 as a constituent event of the European joint conferences on Theory and Practice of Software (ETAPS). All papers are relevant to the field of systems validation. The first three papers advance and extend model-checking techniques, the fourth presents algorithms for run-time verification, and the last paper is about animation and test generation for formal system specifications.
Similar content being viewed by others
References
Abrial J-R (1996) The B-Book. Cambridge University Press, Cambridge, UK
Brayton RK, Hachtel GD, Sangiovanni-Vincentelli AL, Somenzi F, Aziz A, Cheng S-T, Edwards SA, Khatri SP, Kukimoto Y, Pardo A, Qadeer S, Ranjan RK, Sarwary S, Shiple TR, Swamy G, Villa T (1996) VIS: a system for verification and synthesis. In: Alur R, Henzinger TA (eds) Proceedings of the conference on computer-aided verification (CAV). Lecture notes in computer science, vol 1102. Springer, Berlin Heidelberg New York, pp 428–432
Bouquet F, Legeard B, Peureux F (2004) CLPS-B – A constraint solver to animate a B specification. Int J Softw Tools Technol Transfer 6(2):143–157
Clarke EM, Emerson EA (1981) Design and synthesis of synchronisation skeletons using branching time temporal logic. In: Logic of programs. Lecture notes in computer science, vol 131. Springer, Berlin Heidelberg New York, pp 52–71
Godefroid P (1997) Model checking for programming languages using VeriSoft. In: Proceedings of the 24th ACM symposium on principles of programming languages. ACM Press, New York, pp 174–186
Godefroid P, Karfraz S (2004) Exploring very large state spaces using genetic algorithms. Int J Softw Tools Technol Transfer 6(2):117–127
Havelund K, Rosu G (2004) Efficient monitoring of safety properties. Int J Softw Tools Technol Transfer 6(2):158–173
Jin H, Ravi K, Somenzi F (2004) Fate and free will in error traces. Int J Softw Tools Technol Transfer 6(2):102–116
Kwiatkowska MZ, Norman G, Parker D (2004) Probabilistic model checking with PRISM: a hybrid approach. Int J Softw Tools Technol Transfer 6(2):128–142
Pnueli A (1977) The temporal logic of programs. In: Proceedings of the IEEE symposium on foundations of computer science (FOCS). IEEE Press, New York, pp 46–57
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Katoen, JP., Stevens, P. Guest editors’ introduction: Advancements and extensions of verification techniques. Int J Softw Tools Technol Transfer 6, 99–101 (2004). https://doi.org/10.1007/s10009-004-0150-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-004-0150-0