Atur cara mengikut enusmv.sf.net

Versi lanjutan NuSMV, yang menyokong pemeriksaan model simbolik ETL dan APSL