| Property |
Value |
| dbo:abstract
|
- 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 ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique. Sur le plan pratique, la vérification de modèles est devenue, au niveau industriel, la méthode de vérification de code et de systèmes matériels la plus populaire et la plus utilisée aujourd'hui[réf. nécessaire]. (fr)
- 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 ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique. Sur le plan pratique, la vérification de modèles est devenue, au niveau industriel, la méthode de vérification de code et de systèmes matériels la plus populaire et la plus utilisée aujourd'hui[réf. nécessaire]. (fr)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 21874 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1986 (xsd:integer)
- 1993 (xsd:integer)
- 1999 (xsd:integer)
- 2004 (xsd:integer)
|
| prop-fr:doi
|
- 10.114500 (xsd:double)
- 10.227700 (xsd:double)
|
| prop-fr:fr
|
- alternating-time temporal logic (fr)
- logique temporelle arborescente (fr)
- alternating-time temporal logic (fr)
- logique temporelle arborescente (fr)
|
| prop-fr:isbn
|
- 0 (xsd:integer)
- 978 (xsd:integer)
|
| prop-fr:lang
| |
| prop-fr:langue
| |
| prop-fr:lienPériodique
|
- Association for Computing Machinery (fr)
- Association for Computing Machinery (fr)
|
| prop-fr:lieu
|
- Cambridge (fr)
- Cambridge (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Ryan (fr)
- Clarke (fr)
- Emerson (fr)
- McMillan (fr)
- Grumberg (fr)
- Huth (fr)
- Peled (fr)
- Clarke, Jr. (fr)
- Sistla (fr)
- Ryan (fr)
- Clarke (fr)
- Emerson (fr)
- McMillan (fr)
- Grumberg (fr)
- Huth (fr)
- Peled (fr)
- Clarke, Jr. (fr)
- Sistla (fr)
|
| prop-fr:numéro
| |
| prop-fr:p.
| |
| prop-fr:pagesTotales
|
- 194 (xsd:integer)
- 314 (xsd:integer)
|
| prop-fr:prénom
|
- Michael (fr)
- Mark (fr)
- E. A. (fr)
- A. P. (fr)
- Kenneth L. (fr)
- E. M. (fr)
- Doron A. (fr)
- Edmund M. (fr)
- Orna (fr)
- Michael (fr)
- Mark (fr)
- E. A. (fr)
- A. P. (fr)
- Kenneth L. (fr)
- E. M. (fr)
- Doron A. (fr)
- Edmund M. (fr)
- Orna (fr)
|
| prop-fr:revue
|
- ACM Trans. on Programming Languages and Systems (fr)
- ACM Trans. on Programming Languages and Systems (fr)
|
| prop-fr:sousTitre
|
- Modelling and Reasoning About Systems (fr)
- Modelling and Reasoning About Systems (fr)
|
| prop-fr:titre
|
- Model Checking (fr)
- Logic in Computer Science (fr)
- Symbolic Model Checking (fr)
- Automatic verification of finite state concurrent systems using temporal logic (fr)
- Model Checking (fr)
- Logic in Computer Science (fr)
- Symbolic Model Checking (fr)
- Automatic verification of finite state concurrent systems using temporal logic (fr)
|
| prop-fr:trad
|
- Computation tree logic (fr)
- Computation tree logic (fr)
|
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- 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 ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique. Sur le plan pratique, la vérification de modèles est devenue, au niveau industriel, la méthode de vérification de code et de systèmes matériels la plus populaire et la plus utilisée aujourd'hui[réf. nécessaire]. (fr)
- 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 ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique. Sur le plan pratique, la vérification de modèles est devenue, au niveau industriel, la méthode de vérification de code et de systèmes matériels la plus populaire et la plus utilisée aujourd'hui[réf. nécessaire]. (fr)
|
| rdfs:label
|
- Vérification de modèles (fr)
- Model checking (it)
- Verificación de modelos (es)
- Verificação de modelos (pt)
- Перевірка моделі (uk)
- Vérification de modèles (fr)
- Model checking (it)
- Verificación de modelos (es)
- Verificação de modelos (pt)
- Перевірка моделі (uk)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:discipline
of | |
| is dbo:knownFor
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
