Finding bugs without running or even looking at code

Indy Software Artisans
Indy Software Artisans
Public group


4 Center Green Suite 400 · Carmel, IN

How to find us

Park in the free parking garage, 4th floor... follow the signs

Location image of event venue


We're going to try something new this time and do a video plus discussion! The topic will be about model checking, a technique to validate your design without ever writing a line of executable code. The video is only around 40 minutes long which will be followed by a brief presentation for more context and hopefully some group discussion.

Presenter: David Aramant


As always, we'll start with pizza and socializing (Social Pizza™) at 5:30pm and some short intro stuff around 6.

Location Details:
SEP is located directly south of the Palladium, in the building that is attached to the parking garage. Enter from 3rd Ave SW.