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

Malte Schwerhoff

  1. Automatic Verification of Iterated Separating Conjunctions using\n Symbolic Execution
    2016/03/02 by Péter Müller, Müller, Peter, Malte Schwerhoff +3 · 1 citation
    Computer Science · #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Testing and Debugging Techniques