WM NuSMV Summary Vim plugin for NuSMV. Features Syntax coloring Omnicompletion ... Settings ... Dependencies NuSMV Contact Wannes Meert, wannes.meert@cs.kuleuven.be