AdaCore (France)

output

20182021

most citedVerifyThis 2019: A Program Verification Competition (Extended Report)

16 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

Yannick Moy3 · h 16
A. Paskevich1 · h 15
Carlo A. Furia1 · h 26
Claire Dross1 · h 8
C. Marché1 · h 31
Georges-Axel Jaloyan1 · h 5
M. Huisman1 · h 31
Peter Müller1 · h 37
Rosemary Monahan1 · h 16
Sylvain Dailler1 · h 2

collaborating institutions

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 cs.PLShow all

1 paper · 1 filter

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…