[Cryptography] Worthwhile survey paper on proof engineering for formal verification

[Perry E. Metzger]

Here's a link to a new and interesting survey paper on proof
engineering for formal verification of software systems. It's free to
download until September 10th. Worth reading if you're interested in
an introduction to the whole area (and if you don't know much about
it, you should be interested.)

https://www.nowpublishers.com/article/Details/PGL-045

Perry
-- 
Perry E. Metzger		perry at piermont.com