A few simple programs to help test the Bandera Model Checking verification tool.