verification de formule logique LTL

papillon2000 · 2009-03-16T09:31:42+0000

bonjour, je veux verifier une formule logique temporelle LTL qui se compose de plusieurs sous formules mais je ne sais pas comment,j'ai pensé à un automate d'état mais je suis pas sur. je vous informe que je travaille avec java. merci pour votre aide.

Par papillon2000,
le 16 mars 2009 dans Hardware

Commencer un nouveau sujet

Messages recommandés

Archivé

Ce sujet est désormais archivé et ne peut plus recevoir de nouvelles réponses.

Aller sur la liste des sujets

Populaires actuellement
- 520
  
  Un navire d'aide humanitaire en route pour Gaza
  
  Par Lowy
  Commencé le 3 juin
Bienvenue sur Forum Fr !

Nous vous invitons à découvrir les centaines de milliers de sujets existants sur LE Forum - n'hésitez pas à y participer ! L'inscription, gratuite, permet également de diminuer le nombre d'affichage de publicités. Pour cela, inscrivez-vous, ou connectez-vous.
- Se connecter
- ou
- S’inscrire
FFr Mag' 2.0
- Interview du mois... Entretien avec January, par Titenath
  Par Tequila Moor dans FFr Mag' 2.0
  45
- Science... Les jeux sérieux (« serious games ») par Jedino
  Par Tequila Moor dans FFr Mag' 2.0
  16
- Science... Système solaire et exploration spatiale, par Jedino
  Par Tequila Moor dans FFr Mag' 2.0
  21
Dire à un ami
Vous aimez Forum Fr ? Dites le à un ami !
- Courriel
- Partager

Connexion

verification de formule logique LTL

Messages recommandés

papillon2000 0

Lien à poster

Partager sur d’autres sites

Archivé

Populaires actuellement

Bienvenue sur Forum Fr !

FFr Mag' 2.0

Dire à un ami