Aristotle: Formal Verification for C and Verilog

(harmonic.fun)

7 points | by jasondavies 6 hours ago ago