Towards Automated Proof of Fail-Safe Behaviour.

Peter Liggesmeyer, Martin Rothfelder

Browse the full SAFECOMP paper archive.