Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock: QED at Large: A Survey of Engineering of Formally Verified Software. CoRR abs/2003.06458 (2020)