25 citations · 37 across the 8 of their papers we have counts for
1 paper · 2 filters
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…