mathematical reasoning

Download Mathematical  Reasoning

Post on 20-Feb-2016

47 views

Category:

Documents

0 download

Embed Size (px)

DESCRIPTION

Mathematical Reasoning. Goal: To prove correctness Method: Use a reasoning t able Prove correctness on all valid inputs. Example: Prove Correctness. Spec: Operation Do_Nothing ( i : Integer); requires min_int

TRANSCRIPT

Interfaces

Mathematical ReasoningGoal: To prove correctnessMethod: Use a reasoning tableProve correctness on all valid inputs

School of Computing Clemson University1Example: Prove CorrectnessSpec: Operation Do_Nothing (i: Integer);requires min_int

View more >