This package contains public classes for converting AF3 models and AF property specification expressions to NuSMV.