Abstract
This section is based on selected papers from the 6th and 7th ERCIM workshops on Formal Methods in Industrial Critical Systems. These papers either extend the state of the art in model checking and automatic test generation or they address the methodology for applying tools based on formal methods. Also, some important experiences are reported from industrial cases in which formal methods have been applied.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
van de Pol, J. Introductory paper. STTT 5, 105–106 (2004). https://doi.org/10.1007/s10009-003-0138-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-003-0138-1