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

Andreas Tiemeyer

  1. CREST: Hardware Formal Verification with ANSI-C Reference Specifications
    2019/08/04 by Andreas Tiemeyer, Tiemeyer, Andreas, Tom Melham +5 · 1 citation
    Computer Science · #Formal Methods in Verification #Security and Verification in Computing #Software Testing and Debugging Techniques