Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Creator Kroll, Andrew J. Advisor Erwig, Martin Subject Computer programs -- Correctness

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