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

Dejan Jovanović

  1. Solving bitvectors with MCSAT: explanations from bits and pieces (long version)
    2020/04/16 by Stéphane Graham-Lengrand, Graham-Lengrand, Stéphane, Dejan Jovanović +3 · 1 citation
    Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Software Testing and Debugging Techniques