Aperçu des possibilités de ce Wiki

Images

Il est possible d'afficher des images (en SVG, PNG ou JPG), en choisissant la taille d'affichage et le texte par défaut (affiché également dans le tooltip) :

Logo du MF Lab
Logo du MF Lab
Logo du MF Lab
Logo du MF Lab

Inline SVG

On peut également afficher du SVG en ligne : lmf

Des maths avec la syntaxe {$\LaTeX$}

Des maths : {$ e^{i\pi} = i^2 $} {$\hskip 20mu$} {$ \displaystyle \sum_{i=1}^{\infty} \frac{1}{2^i} = 1$}

Du code avec highlight.js

Et du code mis en forme automatiquement :

  def fact(n):
    if n == 0:
      return 1
    else:
      return n * fact(n - 1)
Une section de niveau 5

Avec un peu de texte dedans...

Bib{$\TeX$}

Il est possible de citer une publication comme ceci (wing1990specifier).

On peut aussi afficher un résumé de l'entrée BibTeX :

[1] hall1990sevenHall, Anthony, Seven myths of formal methodsIEEE software, vol. 7, # 5, 1990(BibTeX)

Ou bien afficher l'entrée complète :

Formal methods: Practice and experience,
Summary

[2] woodcock2009formalWoodcock, Jim, Larsen, Peter Gorm, Bicarregui, Juan, Fitzgerald, John, Formal methods: Practice and experienceACM computing surveys (CSUR), vol. 41, # 4, 2009

Abstract

BibTeX entry
@article { woodcock2009formal,
title = { Formal methods: Practice and experience },
author = { Woodcock, Jim and Larsen, Peter Gorm and Bicarregui, Juan and Fitzgerald, John },
journal = { ACM computing surveys (CSUR) },
volume = { 41 },
number = { 4 },
pages = { 1--36 },
year = { 2009 },
publisher = { ACM New York, NY, USA },
}

Il est également possible de faire des requêtes, par exemple pour obtenir les publications postérieures à 2000 classées par ordre inverse de date :

[3] woodcock2009formalWoodcock, Jim, Larsen, Peter Gorm, Bicarregui, Juan, Fitzgerald, John, Formal methods: Practice and experienceACM computing surveys (CSUR), vol. 41, # 4, 2009(BibTeX)

[4] frey2000formalFrey, Georg, Litz, Lothar, Formal methods in PLC programmingSMC 2000 Conference proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics., 2000, pages 2431-2436, . IEEE(BibTeX)

The BibTeX data

@article{wing1990specifier,
  title={A specifier's introduction to formal methods},
  author={Wing, Jeannette M},
  journal={Computer},
  volume={23},
  number={9},
  pages={8--22},
  year={1990},
  publisher={IEEE}
}
@article{hall1990seven,
  title={Seven myths of formal methods},
  author={Hall, Anthony},
  journal={IEEE software},
  volume={7},
  number={5},
  pages={11--19},
  year={1990},
  publisher={IEEE}
}
@article{woodcock2009formal,
  title={Formal methods: Practice and experience},
  author={Woodcock, Jim and Larsen, Peter Gorm and Bicarregui, Juan and Fitzgerald, John},
  journal={ACM computing surveys (CSUR)},
  volume={41},
  number={4},
  pages={1--36},
  year={2009},
  publisher={ACM New York, NY, USA}
}
@article{clarke1996formal,
  title={Formal methods: State of the art and future directions},
  author={Clarke, Edmund M and Wing, Jeannette M},
  journal={ACM Computing Surveys (CSUR)},
  volume={28},
  number={4},
  pages={626--643},
  year={1996},
  publisher={ACM New York, NY, USA}
}
@book{hinchey1995applications,
  title={Applications of formal methods},
  author={Hinchey, Michael G and Bowen, Jonathan Peter},
  volume={1},
  year={1995},
  publisher={Prentice Hall New Jersey}
}
@article{bowen1995seven,
  title={Seven more myths of formal methods},
  author={Bowen, Jonathan P and Hinchey, Michael G},
  journal={IEEE software},
  volume={12},
  number={4},
  pages={34--41},
  year={1995},
  publisher={IEEE}
}
@article{bowen1993safety,
  title={Safety-critical systems, formal methods and standards},
  author={Bowen, Jonathan and Stavridou, Victoria},
  journal={Software engineering journal},
  volume={8},
  number={4},
  pages={189--209},
  year={1993},
  publisher={IET}
}
@inproceedings{frey2000formal,
  title={Formal methods in PLC programming},
  author={Frey, Georg and Litz, Lothar},
  booktitle={{SMC} 2000 Conference proceedings. 2000 {IEEE} International Conference on Systems, Man and Cybernetics.},
  volume={4},
  pages={2431--2436},
  year={2000},
  organization={IEEE}
}
@article{bowen1995ten,
  title={Ten commandments of formal methods},
  author={Bowen, Jonathan P and Hinchey, Michael G},
  journal={Computer},
  volume={28},
  number={4},
  pages={56--63},
  year={1995},
  publisher={IEEE}
}
@article{sidhu1989formal,
  title={Formal methods for protocol testing: A detailed study},
  author={Sidhu, Deepinder P. and Leung, T-K},
  journal={IEEE transactions on software engineering},
  volume={15},
  number={4},
  pages={413--426},
  year={1989},
  publisher={IEEE}
}