Aristotle: Formal Verification for C and Verilog

 (harmonic.fun)

7 points | by jasondavies 5 hours ago ago

No comments yet.