L'outil bandera

moka_M Messages postés 2 Statut Membre -
little boy62 Messages postés 4393 Date d'inscription Statut Membre Dernière intervention - 11 juin 2017 à 17:47

bonjour!pour l'outil BANDERA on utilise quoi comme logiciel?

Afficher la suite

2 réponses

Réponse 1 / 2
Jimpix Messages postés 12079 Date d'inscription Statut Membre Dernière intervention 4 391

Bonjour,

On peut savoir de quoi vous parlez ???
0
Réponse 2 / 2
little boy62 Messages postés 4393 Date d'inscription Statut Membre Dernière intervention 1 790

Salut.

Tu parles de l'outil permettant de gérer l’analyse de propriétés de programmes Java ?

=> http://www-sop.inria.fr/oasis/Vercors/papers/CMassol-rapportMIAGE.pdf
=> http://bandera.projects.cs.ksu.edu/

++
0
1. Raymond PENTIER Messages postés 58211 Date d'inscription Statut Contributeur Dernière intervention 17 480
  
  Si je comprends bien, Bandera n'est pas un simple outil mais un véritable logiciel ;
  et cette discussion serait probablement davantage à sa place dans le forum Programmation, non ?
  
  0
  1. little boy62 Messages postés 4393 Date d'inscription Statut Membre Dernière intervention 1 790 > Raymond PENTIER Messages postés 58211 Date d'inscription Statut Contributeur Dernière intervention
    
    Lu'
    
    Bah j'ai juste soumis cette hypothèse...
    
    Mais vu que moka_M ne s'est toujours pas manifesté, je ne sais toujours pas si c'est bien lié...
    
    Et si c'est vraiment lié, tu as 100% raison : direction forum programmation...
    
    Mais si l'intéressé ne se manifeste pas... je passerai à autre chose. :P
    
    ++
    
    0

L'outil bandera

2 réponses

Discussions similaires

Newsletters