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