Signaler un abus
Sur la preuve d’algorithmes, il faudrait regarder par exemple :
http://projects.laas.fr/IFSE/FMF/J3/slides/P004_Xavier_Leroy.pdf
Ce cours du LRI :
https://www.lri.fr/ paulin/B/poly001.html
ou cette page :
http://home.gna.org/brillant/2004-Moniot/B-mf.html
ou 2 sociétés sur la méthode B :
http://www.methode-b.com/preuve-formelle/
http://www.clearsy.com/actualites/le-26-juin-2013-a-paris-preuves-formelles-systeme-pour-le-cbtc-de-la-ligne-7-flushing-de-new-york/
Quand vous voyagez sur la ligne 14, et maintenant la ligne, vous utilisez du logiciel vérifié par la méthode B 
http://fr.wikipedia.org/wiki/M%C3%A9thode_B
Articles les plus lus
- L’illusion des ruines à Gaza et au Sud du Liban. La stratégie de la destruction face à l’indestructible énergie de l’existence
- Maroc – Espagne, enclave de CEUTA, le déferlement tragique de trop
- Une urgence législative : comment le droit peut-il endiguer l’influence des Frères musulmans ?
- L’expulsion de Xenia Fedorova, ce qu’elle révèle de ses partisans
- Expulsion de Xenia Fedorova : la France ferme le robinet à venin du Kremlin
- Présidentielle 2027 : la candidature favorite des intentions de vote
- La retraite n’est ni un droit... ni un Ponzi ! (Et les jeunes auront une retraite)
- Xenia Fedorova sous OQTF !
- Le mannequin et l’espion : autopsie d’un compte d’ingérence russe démasqué
- La surveillance totale est déjà là : États et multinationales ont aboli votre vie privée
Agoravox utilise les technologies du logiciel libre : SPIP, Apache, Ubuntu, PHP, MySQL, CKEditor.
Site hébergé par la Fondation Agoravox
A propos / Contact / Mentions légales / Cookies et données personnelles / Charte de modération