This package contains implementation classes for the compilation of AF models to NuSMV.