NUSMV means New Symbolic Model Verifier in Software
Similar to NUSMV
ACAS - Adaptive Context Aware ServicesACASA - Adult Clinic Assessment Software Application
ACAT - Aironet Configuration Administration Tool
ACATS - Ada Conformity Assessment Test Suite
ACC - Aspect Component Configuration
ACCU - Association of C/C++ Users
ACD - Automated Configuration Documentation
View all in Software