certification_du_logiciel
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
certification_du_logiciel [2010/06/03 22:18] 2a01:e35:8a04:6650:224:21ff:fee4:3d0a created |
certification_du_logiciel [2019/03/11 15:09] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | à compléter | + | - Nous avons besoin de coq et coqide en J3 et sur turing. Attention vérifier que les raccourcis de navigation par défaut ne sont pas en conflit avec X ou avec Windows. |
| + | - Nous avons aussi besoin sur turing de: | ||
| + | * frama-c | ||
| + | * why | ||
| + | * alt-ergo | ||
| + | |||
| + | |||
certification_du_logiciel.1275596329.txt.gz · Last modified: 2019/03/11 15:09 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
