What about Formal Verification?webrauser.com1 point·himynameisdave··0 commentsOpen articleSaveView on HN