Programmer des formules logique temporelle LTL avec java

cs_papillon2000 Messages postés 94 Date d'inscription dimanche 30 avril 2006 Statut Membre Dernière intervention 21 juin 2010 - 20 janv. 2009 à 13:49
cs_papillon2000 Messages postés 94 Date d'inscription dimanche 30 avril 2006 Statut Membre Dernière intervention 21 juin 2010 - 5 mars 2009 à 17:08
bonjour, je veux programmer une formule logique LTL avec java et tester sa validation (tester à un instant donné si elle est violée ou pas).
merci à tous.

1 réponse

cs_papillon2000 Messages postés 94 Date d'inscription dimanche 30 avril 2006 Statut Membre Dernière intervention 21 juin 2010
5 mars 2009 à 17:08
alors ,je veux verifier une formule LTL. je ne sais pas comment faire.est ce que c'est pathematiquement ou on comparant les points d'extrimités des taches.
0