Equivalent translation of 2-bit binary counter into NuSMV 

The translation is performed by the software v2NuSMV from the netlist generated in Verilog HDL.