Software engineering with formal methods: the development of a storm surge barrier control system revisiting seven myths of formal methods
From MaRDI portal
Publication:5959854
DOI10.1023/A:1011236117591zbMath0990.68565OpenAlexW2169325581MaRDI 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)
Full work available at URL: https://doi.org/10.1023/a:1011236117591
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Uses Software
This page was built for publication: Software engineering with formal methods: the development of a storm surge barrier control system revisiting seven myths of formal methods