Structure de Kripke
Un article de Wikipédia, l'encyclopédie libre.
Une structure de Kripke est un type d'une machine à états finis utilisée par exemple dans le model checking pour représenter le comportement d'un système. C'est un graphe orienté dont les nœuds représentent les états accessibles du système et dont les arcs représentent les transitions entre les états. Une fonction d'étiquetage fait correspondre à chaque état un ensemble de propositions logiques vraies dans cet état.
Portail de l'informatique – Accédez aux articles de Wikipédia concernant l’informatique. |