Andere Kunden interessierten sich auch für
![Modèle Proie-Prédateur et Etude de la Probabilité de l'Extinction]( "Modèle Proie-Prédateur et Etude de la Probabilité de l'Extinction")
Modèle Proie-Prédateur et Etude de la Probabilité de l'Extinction32,99 €![Recueil de Modèles Aléatoires]( "Recueil de Modèles Aléatoires")
Recueil de Modèles Aléatoires48,99 €![Problème de Goursat pour les systèmes d''edp et Condition de Lévi]( "Problème de Goursat pour les systèmes d''edp et Condition de Lévi")
Problème de Goursat pour les systèmes d''edp et Condition de Lévi25,99 €![Problème elliptique avec exposant critique de Sobolev et poids]( "Problème elliptique avec exposant critique de Sobolev et poids")
Problème elliptique avec exposant critique de Sobolev et poids26,99 €![Problème aux limites viscoélastique avec source non linéaire]( "Problème aux limites viscoélastique avec source non linéaire")
Problème aux limites viscoélastique avec source non linéaire26,99 €![Analyse numérique de problème de stokes en présence d'interface]( "Analyse numérique de problème de stokes en présence d'interface")
Analyse numérique de problème de stokes en présence d'interface26,99 €![Drazin inversibilité et problème des préservateurs linéaires]( "Drazin inversibilité et problème des préservateurs linéaires")
Drazin inversibilité et problème des préservateurs linéaires32,99 €
L'informatique théorique est un domaine assez vaste, nous nous focaliserons sur la vérification d'une propriété appelée model-checking. Le model-checking est une technique de vérification de systèmes à états finis ou infinis tels que les protocoles de communication. Il y a un certain nombre d'avantages par rapport aux approches traditionnelles basées sur la simulation, le test et le raisonnement déductif. En particulier, la vérification de modèle est automatique et généralement assez rapide. Le modelchecking est une méthode de validation des systèmes informatiques qui consiste à vérifier automatiquement si un modèle S d'un système satisfait une propriété A. Nous allons nous intéresser à la décidabilité du problème d'accessibilité. Le problème d'accessibilité demande de vérifier si un ensemble d'éléments du système est atteint. Nous utilisons le model-checking dans des situations concrètes comme la télécommunication, le wifi, le gsm, etc. Il peut arriver que les programmes ne soient pas fiables, nous pouvons avoir des problèmes de communication comme des pertes de message. Nous allons nous intéresser aux systèmes de communication à pertes de messages.