SRI Sally: A model checker for infinite-state systems. - View it on GitHub