Joffrey Huguet

Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists

Jérôme Hugues, Claire Dross, Christophe Garion, 2019, FMTea.

End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK

Laura R. Humphrey, James Hamil, Joffrey Huguet, 2020, SEFM.