Abstract
The papers in this special section present a sample of recent approaches to modeling and verification of software-based systems. This research was initially presented at the 4th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI ’03). The choice of papers for the issue was based on their merit as well as on the fact that, as a group, they represent the main current research areas in the field of software-based systems.
Similar content being viewed by others
References
Zuck LD, Attie PC, Cortesi PD, Mukhopadhyay S (eds) (2003) Proceedings of the 4th international conference on verification, model checking, and abstract interpretation (VMCAI 2003), New York. Lecture notes in computer science, vol 2575. Springer, Berlin Heidelberg New York
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Zuck, L., Attie, P. & Cortesi, A. Preface by the section editors. Int J Softw Tools Technol Transfer 6, 1–3 (2004). https://doi.org/10.1007/s10009-004-0144-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-004-0144-y