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

Hossein Hojjat

  1. Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report)
    2013/01/21 by Philipp Rümmer, Rümmer, Philipp, Hossein Hojjat +3 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Software Testing and Debugging Techniques