Aristotle: Formal Verification for C and Verilogharmonic.fun7 points·jasondavies··0 commentsOpen articleSaveView on HN