Aristotle: Formal Verification for C and Verilog (harmonic.fun) 5 points|by jasondavies|1h ago|0 comments|Read full story on harmonic.fun
Comments (0)