关注
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
8*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
4*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