A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module.

Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald

Browse the full SAFECOMP paper archive.