| Property |
Value |
| dbo:abstract
|
- 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 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. Les logiques temporelles sont généralement interprétées dans des structures de Kripke. L'existence de certains chemins dans le graphe est alors considérée comme une éventualité de réalisation de formules. (fr)
- 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 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. Les logiques temporelles sont généralement interprétées dans des structures de Kripke. L'existence de certains chemins dans le graphe est alors considérée comme une éventualité de réalisation de formules. (fr)
|
| dbo:namedAfter
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 7365 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1963 (xsd:integer)
- 1999 (xsd:integer)
- 2004 (xsd:integer)
- 2008 (xsd:integer)
|
| prop-fr:auteur
|
- Béatrice Berard (fr)
- Saul A. Kripke (fr)
- Béatrice Berard (fr)
- Saul A. Kripke (fr)
|
| prop-fr:collection
|
- Texts in Theoretical Computer Science. An EATCS Series (fr)
- Texts in Theoretical Computer Science. An EATCS Series (fr)
|
| prop-fr:colonnes
| |
| prop-fr:consultéLe
| |
| prop-fr:isbn
| |
| prop-fr:journal
|
- Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (fr)
- Acta Philosophica Fennica Fasc. (fr)
- Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (fr)
- Acta Philosophica Fennica Fasc. (fr)
|
| prop-fr:langue
| |
| prop-fr:lieu
|
- Cambridge (fr)
- Cambridge (fr)
|
| prop-fr:nom
|
- Schneider (fr)
- Clarke (fr)
- Baier (fr)
- Grumberg (fr)
- Peled (fr)
- Katoen (fr)
- Schneider (fr)
- Clarke (fr)
- Baier (fr)
- Grumberg (fr)
- Peled (fr)
- Katoen (fr)
|
| prop-fr:pages
|
- 67 (xsd:integer)
- 83 (xsd:integer)
|
| prop-fr:pagesTotales
|
- 314 (xsd:integer)
- 975 (xsd:integer)
- xiv+600 (fr)
|
| prop-fr:prénom
|
- Klaus (fr)
- Christel (fr)
- Doron A. (fr)
- Edmund M. (fr)
- Orna (fr)
- Joost-Pieter (fr)
- Klaus (fr)
- Christel (fr)
- Doron A. (fr)
- Edmund M. (fr)
- Orna (fr)
- Joost-Pieter (fr)
|
| prop-fr:présentationEnLigne
| |
| prop-fr:références
| |
| prop-fr:sousTitre
|
- Formal Methods and Algorithms (fr)
- Formal Methods and Algorithms (fr)
|
| prop-fr:titre
|
- Model Checking (fr)
- Semantical analysis of modal logic. I. Normal modal propositional calculi (fr)
- Principles of model checking (fr)
- Semantical considerations on modal logic (fr)
- Verification of Reactive Systems (fr)
- Vérification formelle de systèmes répartis (fr)
- Logiques temporelles et vérification de programmes (fr)
- Model Checking (fr)
- Semantical analysis of modal logic. I. Normal modal propositional calculi (fr)
- Principles of model checking (fr)
- Semantical considerations on modal logic (fr)
- Verification of Reactive Systems (fr)
- Vérification formelle de systèmes répartis (fr)
- Logiques temporelles et vérification de programmes (fr)
|
| prop-fr:url
| |
| prop-fr:volume
|
- 9 (xsd:integer)
- 16 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- 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 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. Les logiques temporelles sont généralement interprétées dans des structures de Kripke. L'existence de certains chemins dans le graphe est alors considérée comme une éventualité de réalisation de formules. (fr)
- 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 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. Les logiques temporelles sont généralement interprétées dans des structures de Kripke. L'existence de certains chemins dans le graphe est alors considérée comme une éventualité de réalisation de formules. (fr)
|
| rdfs:label
|
- Estructura de Kripke (es)
- Kripke structure (model checking) (en)
- Model Kripkego (pl)
- Structure de Kripke (fr)
- Модель Крипке (ru)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
