Documentation.Home History

Hide minor edits - Show changes to output - Cancel

Changed line 9 from:
** The [[http://nusmv.fbk.eu/NuSMV/tutorial/index.html|NuSMV User Manual]]
to:
** The [[http://nusmv.fbk.eu/NuSMV/userman/index-v2.html|NuSMV User Manual]]
Changed line 10 from:
** The [[http://nusmv.fbk.eu/NuSMV/tutorial/index.htmll|NuSMV Tutorial]]
to:
** The [[http://nusmv.fbk.eu/NuSMV/tutorial/index.html|NuSMV Tutorial]]
Changed lines 5-7 from:
* The [[https://es.fbk.eu/tools/nuxmv/downloads/nuxmv-user-manual.pdf|nuXmv User Manual]] (pdf).

* From
[[http://nusmv.fbk.eu|NuSMV]]
to:
Specific of [[http://nuxmv.fbk.eu|nuXmv]]
* The [[https://es.fbk.eu/tools/nuxmv/downloads/nuxmv-user-manual.pdf|nuXmv User Manual]] ([[https://es.fbk.eu/tools/nuxmv/downloads/nuxmv-user-manual.pdf|pdf]]).

Inherited from
[[http://nusmv.fbk.eu|NuSMV]]
Added lines 1-9:
(:title Documentation :)

(:comment Here we shall add the documentation and possibly links to examples/tutorial/... :)

* The [[https://es.fbk.eu/tools/nuxmv/downloads/nuxmv-user-manual.pdf|nuXmv User Manual]] (pdf).

* From [[http://nusmv.fbk.eu|NuSMV]]
** The [[http://nusmv.fbk.eu/NuSMV/tutorial/index.html|NuSMV User Manual]]
** The [[http://nusmv.fbk.eu/NuSMV/tutorial/index.htmll|NuSMV Tutorial]]