5 citations · 6 across the 3 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…