SMVFLatten

Overview

SMVFlatten is a tool to bit-blast SMV models.

Version 1.2.1 adds support for LTL and compiles cleanly on 64-bit machines. It is faster on large models and uses TRUE and FALSE as boolean constants. See NEWS for updates on more recent versions.

Download

[ smvflatten-1.2.5.tar.gz | smvflatten-1.2.4.tar.gz | smvflatten-1.2.3.tar.gz | smvflatten-1.2.1.tar.gz | smvflatten-1.2.0.tar.gz | smvflatten-1.1.tar.gz ]

See also README, NEWS, LICENSE and COPYRIGHT.

This can be used as front-end for the SMVTOAIG tool which is part of the AIGER tool suite or for the SMV to QBF translator SMV2QBF.