Software foundations: https://www.cis.upenn.edu/~bcpierce/sf/current/index.html https://www.cis.upenn.edu/~bcpierce/sf/current/index.html VST: http://vst.cs.pr

Software foundations: https://www.cis.upenn.edu/~bcpierce/sf/current/index.html https://www.cis.upenn.edu/~bcpierce/sf/current/index.html VST: http://vst.cs.princeton.edu/ http://vst.cs.princeton.edu/ Dafny: http://rise4fun.com/Dafny/tutorial http://rise4fun.com/Dafny/tutorial You are probably not going to get to the point of being able to tell your coworkers "yes, this is formally verified" unless you are working in a specific domain where you have few/no libraries and very clearly stated and well trusted assumptions about the external environment (hardware, etc).