SMT based model checker for parameterized systems
