Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky. Formal Verification of Signalling Programs with SafeCap. In Barbara Gallina, Amund Skavhaug, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings. Volume 11093 of Lecture Notes in Computer Science, pages 91-106, Springer, 2018. [doi]
Abstract is missing.