Résultats de la recherche
- Cet article est une ébauche concernant la logique et l’informatique théorique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon...8 kio (1 018 mots) - 22 mai 2023 à 12:12
- Une structure de Kripke est un modèle de calcul, proche d'un automate fini non déterministe, inventé par Saul Kripke. Elle est utilisée par exemple dans...7 kio (1 011 mots) - 26 décembre 2023 à 21:28
- En logique, la logique temporelle linéaire, (LTL) est une logique temporelle modale avec des modalités se référant au temps. En LTL, on peut coder des...15 kio (1 478 mots) - 28 octobre 2024 à 10:19
- En informatique théorique, notamment en vérification formelle, CTL* (prononcé CTL star en anglais) est une logique temporelle. C'est une généralisation...8 kio (1 261 mots) - 25 avril 2022 à 21:20
Cet article est une ébauche concernant l’informatique théorique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations...2 kio (222 mots) - 1 août 2024 à 15:38
