Formal Verification of Signalling Programs with SafeCap.

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

Browse the full SAFECOMP paper archive.