EasyChair Smart SlideDocs/Log in
Author: Yannick Moy

This page shows all presentations of this author published in EasyChair Smart Slide.

Lightweight Interactive Proving inside an Automatic Program Verifier

Lightweight Interactive Proving inside an Automatic Program Verifier

Sylvain Dailler, Claude Marché and Yannick Moy

Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software

Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software

Claire Dross, Guillaume Foliard, Théo Jouanny, Lionel Matias, Stuart Matthews, Jean-Marc Mota, Yannick Moy, Pascal Pignard and Romain Soulat

Mostly harmless - luring programmers into proof with SPARK

Mostly harmless - luring programmers into proof with SPARK

Yannick Moy

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair