2 citations · 5 across the 3 of their papers we have counts for
3 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★ 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…
cs.LO2015★ 2 cited
Proceedings Fourth Workshop on Proof eXchange for Theorem Proving
Cezary Kaliszyk, Andrei Paskevich
This volume of EPTCS contains the proceedings of the Fourth Workshop on Proof Exchange for Theorem Proving (PxTP 2015), held as part of the International Conference on Automated De…