This directory contains the code for the model used in the
"Getting Started with BMC" chapter of the "NuSMV 2 User Manual".

Author: Roberto Cavada
Organization: ITC-IRST

