This directory contains contributed software.

If you want to contribute with your own software send an e-mail with
the software to nusmv-users@fbk.eu

------------------------------------------------------------------------

iscas89-2smv: by Marco Roveri <roveri@fbk.eu>
              Takes an iscas89 file and converts it into a
              corresponding NuSMV file.

kiss2-2smv: by Marco Roveri <roveri@fbk.eu>
            Takes an FSM specified in the KISS2 format and produces a
            corresponding NuSMV file.

smv2table.awk: by Adolfo Villafiorita <adolfo@fbk.eu>
               Takes a NuSMV trace and produces a tab separated
               matrix-like representation of the counter-example.

smv-mode.el: by Sergey Berezin <sergey.berezin@cs.cmu.edu> and
             modified by Marco Roveri <roveri@fbk.eu> to capture
             NuSMV language features.

nusmv-mode.el: by Roger Villemaire <villemaire.roger@uqam.ca>
               (X)Emacs major-mode for editing and running NuSMV sources.
