Simple Software Verification, Part 2: Trace Tables
home // page // trace table
s
Technical Tips

Simple Software Verification, Part 2: Trace Tables

(Image by¬†Leonardo Solaas) Series Parts Part 1 – Execution Tables Part 2 – Trace Tables Part 3 – Karnaugh Maps Welcome back! In the previous article I explained why you might be interested in software verification techniques and then showed you how to use Execution Tables to verify your software for specific cases. In this article, we’ll generalize Execution Tables into a format that will allows us to create simple inductive proofs about our loops. Trace Tables To demonstrate this…