This directory contains contributed software. 

If you want to contribute with your own software send an e-mail with
the software to nusmv-users@irst.itc.it

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

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

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

smv2table.awk: by Adolfo Villafiorita <adolfo@irst.itc.it>
               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@irst.itc.it> 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.
