The cinit package
"Main" package of NuSMV ("cinit" = core init).
By Adapted to NuSMV by Marco Roveri
Information for programmers
Information for developers sorted by function
Information for developers sorted by file
Last updated on 2010/11/04 13h:33