Frédéric Loulergue (Northern Arizona University, SICCS)

Latest

• Tutorial Towards Reliable Things: Formal Verification of IoT Software With Frama C