Discussion :

[fleure]

bonjour,je veux savoir est ce que quelqu'un travaille sur le langage logique LTL, ou qui travaille avec les langage graphique decserflow ou condec ou declare.
je veux programmer avec java en utilisant la bibliothéque Declare mais j'ai besoin de votre aide.
merci

[gorgonite]

à moins que tu ne parles d'autre chose, LTL est une logique utilisée par des model-checkers (tout comme CTL par exemple)

je pense donc que ton problème sera sans doute plus algorithmique qu'implantatoire, mais sans plus d'infos, on ne risque pas de d'aider

[fleure]

je souhaite verifier une formule LTL,je ne sais pas comment?pouvez vous m'aider SVP .