Software engineering with formal methods: the development of a storm surge barrier control system revisiting seven myths of formal methods

DOI10.1023/A:1011236117591zbMath0990.68565MaRDI QIDQ5959854

Michel R. V. Chaudron, Klaas Wijbrans, Jan Tretmans

Publication date: 11 April 2002

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

industrial application of formal methods; Maeslant Kering

Mathematics Subject Classification ID

68U99: Computing methodologies and applications

68Q60: Specification and verification (program logics, model checking, etc.)

Uses Software

• SPIN