×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [hoare triple]
Quantifying Information Leaks using Reliability Analysis
161 views
Program Verification using Probabilistic Techniques Sumit Gulwani Microsoft Research Invited Talk: VSTTE Workshop August 2006 Joint work with George Necula
217 views
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]
215 views
Algebra of Concurrent Programming Tony Hoare Cambridge 2011
225 views
Algebra unifies calculi of programming Tony Hoare Feb 2012
224 views
CSE115/ENGR160 Discrete Mathematics 04/12/11 Ming-Hsuan Yang UC Merced 1
213 views
Formal techniques for getting software right: some old ideas and some new tools
22 views
Correctness Proofs
79 views
Algebra unifies calculi of programming
53 views