Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand. Towards Zero Alarms in Sound Static Analysis of Finite State Machines. In Alexander B. Romanovsky, Elena Troubitsyna, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings. Volume 11698 of Lecture Notes in Computer Science, pages 3-18, Springer, 2019. [doi]
Abstract is missing.