Searching protocol for "nu smv"
Generate SMV models from code.
Code to formal models for verification