| Property |
Value |
| dbo:abstract
|
- On parle de vérification formelle quand on utilise les techniques des méthodes formelles. Dans le monde industriel, la vérification formelle est utilisée aussi bien pour vérifier du code informatique (bon fonctionnement des programmes avant la livraison du logiciel), que du code de circuits électroniques.
* Portail de l’informatique
* Portail de l'informatique théorique (fr)
- On parle de vérification formelle quand on utilise les techniques des méthodes formelles. Dans le monde industriel, la vérification formelle est utilisée aussi bien pour vérifier du code informatique (bon fonctionnement des programmes avant la livraison du logiciel), que du code de circuits électroniques.
* Portail de l’informatique
* Portail de l'informatique théorique (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 567 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- On parle de vérification formelle quand on utilise les techniques des méthodes formelles. Dans le monde industriel, la vérification formelle est utilisée aussi bien pour vérifier du code informatique (bon fonctionnement des programmes avant la livraison du logiciel), que du code de circuits électroniques.
* Portail de l’informatique
* Portail de l'informatique théorique (fr)
- On parle de vérification formelle quand on utilise les techniques des méthodes formelles. Dans le monde industriel, la vérification formelle est utilisée aussi bien pour vérifier du code informatique (bon fonctionnement des programmes avant la livraison du logiciel), que du code de circuits électroniques.
* Portail de l’informatique
* Portail de l'informatique théorique (fr)
|
| rdfs:label
|
- Verifica formale (it)
- Verificación formal (es)
- Verificação formal (pt)
- Vérification formelle (fr)
- Формальна верифікація (uk)
- 形式验证 (zh)
- Verifica formale (it)
- Verificación formal (es)
- Verificação formal (pt)
- Vérification formelle (fr)
- Формальна верифікація (uk)
- 形式验证 (zh)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
