Formal Verification as a Design Tool - The Transponder Lock Example.

Reinhard Budde, Agathe Merceron, Karl-Heinz Sylla

Browse the full SAFECOMP paper archive.