Table-based Software Designs : Bounded Model Checking and Counterexample Tracking