1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.SE2021★ 1 cited
Proceedings of the 6th Workshop on Formal Integrated Development Environment
José Proença, Andrei Paskevich
This volume contains the proceedings of F-IDE 2021, the sixth international workshop on Formal Integrated Development Environment, which was held online on May 24-25, 2021, as part…
cs.PL2018
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…