Follow
Cezar-Constantin Andrici
Cezar-Constantin Andrici
MPI-SP
Verified email at mpi-sp.org - Homepage
Title
Cited by
Cited by
Year
A Verified Implementation of the DPLL Algorithm in Dafny
CC Andrici, Ș Ciobâcă
Mathematics 10 (13), 2264, 2022
7*2022
Securing Verified IO Programs Against Unverified Code in F*
CC Andrici, S Ciobaca, C Hritcu, G Martínez, E Rivas, E Tanter, ...
arXiv preprint arXiv:2303.01350, 2023
2*2023
Partial dijkstra monads for all
T Winterhalter, CC Andrici, C Hriţcu, K Maillard, G Martínez, E Rivas
TYPES, 2022
22022
Verifying non-terminating programs with IO in F
CC Andrici, T Winterhalter, C Hriţcu, E Rivas
HOPE, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–4