L'outil bandera

Fermé
moka_M Messages postés 1 Date d'inscription samedi 10 juin 2017 Statut Membre Dernière intervention 10 juin 2017 - 10 juin 2017 à 12:27
little boy62 Messages postés 3428 Date d'inscription lundi 11 novembre 2013 Statut Membre Dernière intervention 16 mars 2023 - 11 juin 2017 à 17:47
bonjour!pour l'outil BANDERA on utilise quoi comme logiciel?

2 réponses

Jimpix Messages postés 11490 Date d'inscription dimanche 1 septembre 2013 Statut Membre Dernière intervention 15 août 2017 4 439
10 juin 2017 à 12:55
Bonjour,

On peut savoir de quoi vous parlez ???
0
little boy62 Messages postés 3428 Date d'inscription lundi 11 novembre 2013 Statut Membre Dernière intervention 16 mars 2023 1 743
10 juin 2017 à 22:27
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
Raymond PENTIER Messages postés 57133 Date d'inscription lundi 13 août 2007 Statut Contributeur Dernière intervention 18 mars 2023 17 162
Modifié le 11 juin 2017 à 17:30
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
little boy62 Messages postés 3428 Date d'inscription lundi 11 novembre 2013 Statut Membre Dernière intervention 16 mars 2023 1 743 > Raymond PENTIER Messages postés 57133 Date d'inscription lundi 13 août 2007 Statut Contributeur Dernière intervention 18 mars 2023
11 juin 2017 à 17:47
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