Citation

Droschl G, Kuhn W, Sonneck G, Thuswald M. Safety Sci. 2002; 40(9): 719-730.

Copyright

(Copyright © 2002, Elsevier Publishing)

DOI

unavailable

PMID

unavailable

Abstract

We describe a case study where one software module of an existing physical access control system was re-developed using formal software development methods. Because of increased software quality and comparable development efforts, we are considering the use of formal methods for the future development of critical modules. Further results of this work include the identification of a critical property of the given requirements, as well as insights into overall requirements quality.