vix.ing · top · new · best · stats · spec

Philipp Kern

  1. Revisiting Differential Verification: Equivalence Verification with Confidence
    2024/10/26 by Samuel Teuber, Philipp Kern, Teuber, Samuel +5 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)