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
Pierre Gaufillet 18eb3f6047
Initial commit. 		6 years ago
..
algos Initial commit. 6 years ago
figures Initial commit. 6 years ago
1-introduction.tex Initial commit. 6 years ago
2-motivation.tex Initial commit. 6 years ago
2-sota.tex Initial commit. 6 years ago
3-imbsa.tex Initial commit. 6 years ago
4-aocs.tex Initial commit. 6 years ago
5-conclusions.tex Initial commit. 6 years ago
IMBSA-paper.tex Initial commit. 6 years ago
aliascnt.sty Initial commit. 6 years ago
altarica-diagrams.tex Initial commit. 6 years ago
altarica-function.tex Initial commit. 6 years ago
app.tex Initial commit. 6 years ago
dirtytalk.sty Initial commit. 6 years ago
etgts.tex Initial commit. 6 years ago
llncsdoc.sty Initial commit. 6 years ago
longabstract.tex Initial commit. 6 years ago
lstlang3.sty Initial commit. 6 years ago
main.tex Initial commit. 6 years ago
main.toc Initial commit. 6 years ago
paper.bib Initial commit. 6 years ago
readme.txt Initial commit. 6 years ago
remreset.sty Initial commit. 6 years ago
splncs03.bst Initial commit. 6 years ago
sprmindx.sty Initial commit. 6 years ago
subjidx.ind Initial commit. 6 years ago
tina.bib Initial commit. 6 years ago

readme.txt 

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