@inproceedings{7e640899f3bc461ea078da715abb8ac3,
title = "Lessons from the application of formal methods to the design of a storm surge barrier control system",
abstract = "We describe the experience of the industrial application of formal methods in the development of a mission critical system. We give a description of the system that was to be developed and the methods that were employed to realize the high level of reliability that was required. In this paper we will describe which formal techniques were used, how these techniques were used, the influence of formal methods on the development process and recommendations for managing the use of formal methods.",
author = "M.R.V. Chaudron and J. Tretmans and K.C.J. Wijbrans",
year = "1999",
doi = "10.1007/3-540-48118-4_30",
language = "English",
isbn = "3-540-66588-9",
volume = "2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "1511--1526",
editor = "J. Wing and J. Woodcock and J. Davies and J.M. Wing",
booktitle = "FM'99 - Formal Methods (Proceedings World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999)",
note = "conference; World Congress on Formal Methods in the Development of Computing Systems ; Conference date: 01-01-1999",
}