Malgré tout, je comprend pas très bien pourquoi on essaye de combiner de la preuve pas model checker et de la preuve formelle, l'un est potentiellement le sous ensemble de l'autre, non ?
Combiner des techniques généralistes a des techniques spécialisées au hasard ? Appliquer les techniques spécialisées quand c'est possible et les autres quand c'est nécessaire, les unes devant être à priori plus efficaces que les autres mais ne traitant qu'un sous ensemble de problème.
Ou d'autres approches si les problèmes sont les mêmes, faut voir les hybridations possibles.
# Combiner les techniques
Posté par thoasm . En réponse au journal Le labo commun Inria-Microsoft. Évalué à 4.
Combiner des techniques généralistes a des techniques spécialisées au hasard ? Appliquer les techniques spécialisées quand c'est possible et les autres quand c'est nécessaire, les unes devant être à priori plus efficaces que les autres mais ne traitant qu'un sous ensemble de problème.
Ou d'autres approches si les problèmes sont les mêmes, faut voir les hybridations possibles.