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

Formal Methods in System Design

Volumn 19, Issue 2, 2001, Pages 195-215

  Tretmans, Jan ^a   Wijbrans, Klaas ^b   Chaudron, Michel ^b  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b CMG Public Sector BV   (Netherlands)

Author keywords

Industrial application of formal methods

Indexed keywords

AUTOMATION; CONTROL SYSTEM SYNTHESIS; FLOOD CONTROL; INDUSTRIAL APPLICATIONS; MOVABLE DAMS; PORTS AND HARBORS; RELIABILITY THEORY; SOFTWARE ENGINEERING;

FORMAL METHODS; MAESLANT KERING; SAFETY CRITICAL SOFTWARE SYSTEM; STORM SURGE BARRIER CONTROL SYSTEM;

FORMAL LOGIC;

EID: 0035446960     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1011236117591     Document Type: Article

References (23)

1. Formal test automation: A simple experiment
2. Seven more myths of formal methods
3. SDW - System development workbench
4. Lessons from the application of formal methods to the design of a storm surge barrier control system
5. New waterway storm surge barrier - Innovative final element of delta project
6. Testing and formal methods - Bos project case study
7. Seven myths of formal methods
8. The model checker Spin
9. The application of Promela and Spin in the Bos project
10. Formal methods in the design of a storm surge barrier control system
11. A design strategy for deadlock-free concurrent systems
12. On-the-fly, LTL model checking with Spin
13. Software engineering with formal methods: The development of a storm surge barrier control system - Seven myths of formal methods revisited
14. On-the-fly conformance testing using Spin
15. Practical experiences in the Bos project
16. Software bestuurt de stormvloedkering