Joffrey Huguet

According to our database, Joffrey Huguet authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

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

Laura R. Humphrey, James Hamil, Joffrey Huguet

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

2019

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

Léo Creuse, Claire Dross, Christophe Garion, Jérôme Hugues, Joffrey Huguet

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019