Volgen
Cezar-Constantin Andrici
Cezar-Constantin Andrici
MPI-SP
Geverifieerd e-mailadres voor mpi-sp.org - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–4