×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [relative correctness]
Documents
SymDiff: Leveraging Program Verification for Comparing Programs Shuvendu Lahiri Research in Software Engineering (RiSE), Microsoft Research, Redmond Jointly
218 views
Documents
Background information Formal verification methods based on theorem proving techniques and modelchecking –to prove the absence of errors (in the formal
216 views
Documents
Students ’ alternative standards for correctness Yifat Ben-David Kolikant The Hebrew University of Jerusalem
229 views