Towards Zero Alarms in Sound Static Analysis of Finite State Machines.

Josselin Giet, Laurent Mauborgne, Daniel Kstner, Christian Ferdinand

Browse the full SAFECOMP paper archive.