Tool MAKESMV

Tool MAKESMV will translate optimized XML to NuSMV model.

Version history

There is no version - future work.