Validating voice communication requirements using lightweight formal methods
Bernhard K. Aichernig, J. Horl · IEEE Software · 2000
To show that lightweight approaches can facilitate the technological transfer of formal development methods, the authors report on their experience using VDM++ to specify a safety-critical air traffic control voice communication system. Their approach raised both the quality of the informal system specification and the efficiency of the system test suites they used.