Preface by the section editors

Lenore Zuck, Paul Attie, Agostino Cortesi

Research output: Contribution to journalEditorial


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.

Original languageEnglish (US)
Pages (from-to)1-3
Number of pages3
JournalInternational Journal on Software Tools for Technology Transfer
Issue number1
Publication statusPublished - Jan 1 2004
Externally publishedYes


ASJC Scopus subject areas

  • Software
  • Information Systems

Cite this