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