Résultats de la recherche
En informatique, la vérification de modèles, ou model checking en anglais, est le problème suivant : vérifier si le modèle d'un système (souvent informatique...22 kio (2 451 mots) - 3 novembre 2023 à 20:48- Pour les articles homonymes, voir BDD. Cet article ne cite pas suffisamment ses sources (décembre 2010). Si vous disposez d'ouvrages ou d'articles de référence...10 kio (1 412 mots) - 3 août 2024 à 13:46
- 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
En informatique théorique, un automate de Büchi est un ω-automate ou automate fini opérant sur des mots infinis, avec une condition d'acceptation particulière :...24 kio (3 747 mots) - 25 octobre 2024 à 11:15- 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
- Cet article est une ébauche concernant l’informatique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des...4 kio (480 mots) - 19 octobre 2020 à 16:35
- En logique mathématique et en informatique théorique, le mu-calcul (ou logique du mu-calcul modal) est l'extension de la logique modale classique avec...16 kio (2 229 mots) - 11 avril 2023 à 21:03
- 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
- En informatique théorique, un jeu de parité est un jeu à deux joueurs sur un graphe orienté où chaque sommet est étiqueté par un entier, appelé couleur...16 kio (2 359 mots) - 1 janvier 2022 à 15:01
