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

Marie-Christine Jakobs

  1. PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report)
    2021/01/22 by Marie-Christine Jakobs, Jakobs, Marie-Christine · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques