L'outil bandera

moka_M Messages postés 1 Date d'inscription   Statut Membre Dernière intervention   -  
little boy62 Messages postés 3606 Date d'inscription   Statut Membre Dernière intervention   -
bonjour!pour l'outil BANDERA on utilise quoi comme logiciel?
A voir également:

2 réponses

Réponse 1 / 2
Jimpix Messages postés 11774 Date d'inscription   Statut Membre Dernière intervention   4 152
 
Bonjour,

On peut savoir de quoi vous parlez ???
0
Réponse 2 / 2
little boy62 Messages postés 3606 Date d'inscription   Statut Membre Dernière intervention   1 781
 
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 58988 Date d'inscription   Statut Contributeur Dernière intervention   17 352
 
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 3606 Date d'inscription   Statut Membre Dernière intervention   1 781 > Raymond PENTIER Messages postés 58988 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

Discussions similaires

couche de destination masquée
on dira petite pomme -
Freg -

27 réponses
pipette dans word 365
isabellef -
m@rina -

3 réponses
Capture d'écran disparue W11
dalligants -
pistouri -

8 réponses