25 citations · 37 across the 4 of their papers we have counts for
1 paper · 1 filter
Kyle Thompson, Nuno Saavedra, Pedro Carrott +6
Formal verification using proof assistants, such as Coq, enables the creation of high-quality software. However, the verification process requires significant expertise and manual…