« Vérification de modèles » : différence entre les versions


(Nouveau terme)
Balise : Éditeur de wikicode 2017
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(16 versions intermédiaires par 2 utilisateurs non affichées)
Ligne 1 : Ligne 1 :


== Domaine ==
 
[[Category:Vocabulary]]<br>
[[Category:Intelligence artificielle]]
[[Category:Intelligence artificielle]]Intelligence artificielle<br>
Intelligence artificielle
[[Category:Coulombe]]Coulombe<br>
 
[[Catégorie:Scotty]]<br>
 
[[Category:GRAND LEXIQUE FRANÇAIS]]
   
   
== Définition ==
==Définition==
En informatique, la vérification de modèles consiste à vérifier si le modèle d'un système satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne 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.
En informatique, la vérification de modèles consiste à vérifier si le modèle d'un système satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne 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.


== Français ==
==Français==
<h3>
'''vérification d'un modèle'''  
<poll> Choisissez parmi ces termes proposés :
vérification d'un modèle
vérification de modèles
</poll>
</h3>
<h3>Discussion:</h3> Pour le moment, le terme privilégié est «vérification de modèles».
<br>
   
Source:


https://fr.wikipedia.org/wiki/V%C3%A9rification_de_mod%C3%A8les
'''vérification de modèles  '''
   
   
== Anglais ==
==Anglais==
 
'''Model checking '''
=== Model checking ===
In computer science, model checking or property checking refers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification. Typically, one has hardware or software systems in mind, whereas the specification contains safety requirements such as the absence of deadlocks and similar critical states that can cause the system to crash. Model checking is a technique for automatically verifying correctness properties of finite-state systems.


In order to solve such a problem algorithmically, both the model of the system and the specification are formulated in some precise mathematical language. To this end, the problem is formulated as a task in logic, namely to check whether a given structure satisfies a given logical formula. This general concept applies to many kinds of logics and suitable structures. A simple model checking problem is verifying whether a given formula in the propositional logic is satisfied by a given structure.
==Sources==


<br/>
[https://fr.wikipedia.org/wiki/V%C3%A9rification_de_mod%C3%A8les Source: wikipedia]
<br/>
<br/>
<br/>
<br/>
<br/>
<br/>

Dernière version du 28 janvier 2024 à 13:59

Intelligence artificielle

Définition

En informatique, la vérification de modèles consiste à vérifier si le modèle d'un système satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne 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.

Français

vérification d'un modèle

vérification de modèles

Anglais

Model checking

Sources

Source: wikipedia

Récupérée de « https://datafranca.org/wiki/index.php?title=Vérification_de_modèles&oldid=92898 »

Contributeurs: Claude Coulombe, Jacques Barolet, wiki