felixlinker / smvtrcviz

Transform XML traces generated by nuXmv or NuSMV into a html table

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

felixlinker/smvtrcviz Watchers