Formal verification of really-complex systemsblog.foretellix.com1 point·yoav_hollander··0 commentsOpen articleSaveView on HN