Safety Invariant Engineering for Interlocking Verification.

Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky

Browse the full SAFECOMP paper archive.