MOISE
/
Timed-Altarica-To-Fiacre-Translator
mirror of http://172.16.200.102/MOISE/Timed-Altarica-To-Fiacre-Translator.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
This project is a demonstrator tool, made by the MOISE project, that translates timed Altarica models into Fiacre models. Such translation allows to use model checkers such as Tina to prove properties. The project contains the translator tool.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
2 Commits
1 Branch
0 Tags
4.6 MiB
 
 
 
 
 
 
Branch: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Timed-Altarica-To-Fiacre-Tr.../doc/Rapport post-doc/readme.txt

1.2 KiB
Raw Permalink Blame History 

Dear LLNCS user,



The files in this directory belong to the LaTeX2e package for

Lecture Notes in Computer Science (LNCS) of Springer-Verlag.



It consists of the following files:



  readme.txt         this file



  history.txt        the version history of the package



  llncs.cls          the LaTeX2e document class



  llncs.dem          the sample input file



  llncs.doc          the documentation of the class (LaTeX source)

  llncsdoc.pdf       the documentation of the class (PDF version)

  llncsdoc.sty       the modification of the class for the documentation

  llncs.ind          an external (faked) author index file

  subjidx.ind        subject index demo from the Springer book package

  llncs.dvi          the resultig DVI file (remember to use binary transfer!)



  sprmindx.sty       supplementary style file for MakeIndex

                     (usage: makeindex -s sprmindx.sty <yourfile.idx>)



  splncs03.bst       current LNCS BibTeX style with alphabetic sorting



  aliascnt.sty       part of the Oberdiek bundle; allows more control over

                     the counters associated to any numbered item

  remreset.sty       by David Carlisle