Farah Al Wardani, Kaustuv Chaudhuri, Dale Miller 0001. About Trust and Proof: An Experimental Framework for Heterogeneous Verification. In Ana Cavalcanti 0001, James Baxter 0001, editors, The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II. Volume 14781 of Lecture Notes in Computer Science, pages 162-183, Springer, 2024. [doi]
Abstract is missing.