16 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Université Paris-SaclayFR3 papers
- Université Paris-SudFR2 papers
- Board of the Swiss Federal Institutes of TechnologyCH1 paper
- Centre Inria de SaclayFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- ETH ZurichCH1 paper
- Laboratoire de Recherche en InformatiqueFR1 paper
- National University of Ireland, MaynoothIE1 paper
- The University of MelbourneAU1 paper
- TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point ComputationsFR1 paper
- Università della Svizzera italianaCH1 paper
- Université Paris Sciences et LettresFR1 paper
Showing 2018Show all
2 papers · 1 filter
cs.SE2018★ 8 cited
Lightweight Interactive Proving inside an Automatic Program Verifier
Sylvain Dailler, Claude Marché, Yannick Moy
Among formal methods, the deductive verification approach allows establishing the strongest possible formal guarantees on critical software. The downside is the cost in terms of hu…
cs.PL2018★ 2 cited
Borrowing Safe Pointers from Rust in SPARK
Georges-Axel Jaloyan, Yannick Moy, Andrei Paskevich
In the field of deductive software verification, programs with pointers present a major challenge due to pointer aliasing. In this paper, we introduce pointers to SPARK, a well-def…