Quantifying Information Leaks using Reliability Analysis
Program Verification using Probabilistic Techniques Sumit Gulwani Microsoft Research Invited Talk: VSTTE Workshop August 2006 Joint work with George Necula.
Formal techniques for getting software right: some old ideas and some new tools Applied Formal Methods Research Group 2012-11-02 David Lightfoot: [email protected].
Algebra of Concurrent Programming Tony Hoare Cambridge 2011.
Algebra unifies calculi of programming Tony Hoare Feb 2012.
CSE115/ENGR160 Discrete Mathematics 04/12/11 Ming-Hsuan Yang UC Merced 1.
Formal techniques for getting software right: some old ideas and some new tools
Correctness Proofs
Algebra unifies calculi of programming