[Analysis] XML support for NuSMV
NuSMV can provide XML output for the trace: take this instead of textual information for the trace.
(from redmine: issue id 2141, created on 2014-10-09, closed on 2015-01-12)
- Relations:
- relates #2165 (closed)
- Uploads: