Paperback
Add to list Added to list QED at Large: A Survey of Engineering of Formally Verified Software
Talia Ringer,Karl Palmskog,Ilya Sergey,Milos Gligoric,Zachary Tatlock
Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The book emphasizes challenges and breakthroughs at each stage in history and highlights…
Available to order, ships in 7-14 daysAvailable to order