Joseph Razavi, Richard Banach, Olivier Debicki, Nicolas Mareau, Suzanne Lesecq, Julie Foucault. Exploring Applications of Formal Methods in the INSPEX Project. In Manuel Mazzara, Iulian Ober, Gwen Salaün, editors, Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. Volume 11176 of Lecture Notes in Computer Science, pages 205-215, Springer, 2018. [doi]
Abstract is missing.