Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Advisor Roundy, David Date issued sim 2009-03-20 License All rights reserved

Type-correct changes — a safe approach to version control implementation

Creator:

Dagit, Jason

Abstract:

Ensuring correctness of real-world software applications is a challenging task. Testing can be used to ﬁnd many bugs, but is typically not sufficient for proving correctness or even eliminating entire classes of bugs. However, formal proof and verification techniques tend to be very heavy weight and are simply not available...

Resource Type:

Masters Thesis