A Complete Formal Specification and Verification of the BESW Software Control System of the Maeslant Storm Surge Barrier.

Adrian Beers, Jore Booy, Jan Friso Groote, Johan van den Bogaard, Mark Bouwman

Browse the full FMICS paper archive.