Abstract
We report on an experience in applying a formal method to the specification and design of a system for monitoring and controlling
surface vehicle traffic in a densely populated urban area. We illustrate the goals of the experience and describe the specification,
validation, and verification activities. We also discuss the problems deriving from the particular, but, under several aspects,
typical history of the application development, and from applying formal methods in an industrial setting. Finally, we assess
the encouraging results obtained in the project.
[download the pdf file] [DOI]