Documentation.Home History

Hide minor edits - Show changes to output - Cancel

Changed line 9 from:
to:
* Access to [[https://groups.google.com/a/fbk.eu/forum/#!forum/xsap-users|xsap-users group]]
Added lines 7-9:

!!! xSAP user mailing list

Changed lines 5-6 from:
!!! XSAP documentation
* The [[https://es.fbk.eu/tools/xsap/downloads/xsap-manual.pdf|XSAP User Manual]]
to:
!!! xSAP documentation
* The [[https://es.fbk.eu/tools/xsap/downloads/xsap-manual.pdf|xSAP User Manual]]
Changed lines 6-7 from:
* XSAP manual: coming soon
(:comment * 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]]).:)
to:
* The [[https://es.fbk.eu/tools/xsap/downloads/xsap-manual.pdf|XSAP User Manual]]
Changed lines 10-11 from:
* The [[http://nusmv.fbk.eu/NuSMV/userman/index-v2.html|NuSMV User Manual]]
* The [[http://nusmv.fbk.eu/NuSMV/tutorial/index.html|NuSMV Tutorial]]
to:
* The %newwin% [[http://nusmv.fbk.eu/NuSMV/userman/index-v2.html|NuSMV User Manual]]
* The %newwin% [[http://nusmv.fbk.eu/NuSMV/tutorial/index.html|NuSMV Tutorial]]
Changed line 10 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 11 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 9-11 from:
!!! [[http://nusmv.fbk.eu|NuSMV]] Documentation
** The [[http://nusmv.fbk.eu/NuSMV/tutorial/index.html|NuSMV User Manual]]
*
* The [[http://nusmv.fbk.eu/NuSMV/tutorial/index.htmll|NuSMV Tutorial]]
to:
!!! NuSMV Documentation
* The
[[http://nusmv.fbk.eu/NuSMV/tutorial/index.html|NuSMV User Manual]]
* The [[http://nusmv.fbk.eu/NuSMV/tutorial/index.htmll|NuSMV Tutorial]]
Changed line 5 from:
Specific of [[http://xsap.fbk.eu|XSAP]]
to:
!!! XSAP documentation
Changed line 9 from:
Inherited from [[http://nusmv.fbk.eu|NuSMV]]
to:
!!! [[http://nusmv.fbk.eu|NuSMV]] Documentation
Added lines 1-11:
(:title Documentation :)

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

Specific of [[http://xsap.fbk.eu|XSAP]]
* XSAP manual: coming soon
(:comment * 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]]
** The [[http://nusmv.fbk.eu/NuSMV/tutorial/index.html|NuSMV User Manual]]
** The [[http://nusmv.fbk.eu/NuSMV/tutorial/index.htmll|NuSMV Tutorial]]


Page last modified on April 13, 2015, at 12:47 PM