Facebook: Moving Fast with Software Verification (2016) [pdf]research.fb.com2 points·ENOTTY··0 commentsOpen articleSaveView on HN