11+ years of Formal Methods at Galois, Inc.galois.com2 points·johnbender··0 commentsOpen articleSaveView on HN