Παρακολούθηση
Cezar-Constantin Andrici
Cezar-Constantin Andrici
MPI-SP
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα mpi-sp.org - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–4