Verification of Sequential Function Charts Using SMV.

Sbastien Bornot, Ralf Huuck, Ben Lukoschus

Browse the full PDPTA paper archive.