title: Python : Looking for Model Checker tool and results to CNF convertion
body: <p>I would like to test my code with a modell checker and make a FSM out of it 
  in an automated way. For this I need a modell checker and convert the FSM results to CNF.</p>
  
  <p>Any advice how I can do this in Python ? I only know CBMC but thi is limited to C.</p>
  
  <p>Thanks
  Adrian</p>