Use of Verification for Testing and Debugging of Complex Reactive Systems.

Mark B. Trakhtenbrot

Browse the full SEFM paper archive.