@freemo apologies, I didn't mean surveys for proofs, I mean papers that discuss the general 'state of the art'.
@drewfer
I'd also be interested in such an overview. A couple interesting techs I know of though are coq and tla+
@sporksmith Some of the guys on the project are currently using coq but I don't have any experience with it. If I find anything I'll let you know.
@drewfer I've dealt with a good deal of proofs int he CS world for my own stuff. But I dont usually utilize surveys for proofs. Nothing that comes to mind anyway, sorry.