Aristotle: Formal Verification for C and Verilog

7 points | by jasondavies 5 hours ago