Un verificateur symbolique efficace
العناوين الأخرى
An efficient symbolic model checker
المؤلفون المشاركون
Ferdenache, Ahlem
Boudour, Rashid
المصدر
العدد
المجلد 2016، العدد 33 (31 ديسمبر/كانون الأول 2016)، ص ص. 94-105، 12ص.
الناشر
تاريخ النشر
2016-12-31
دولة النشر
الجزائر
عدد الصفحات
12
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
In computer systems, the goal is to achieve methods and tools that can check models automatically: model checking.
The model checking problem is the large states space.
One solution is to use the symbolic model checking combined with compact data structures.
The main of this paper is to design and implement a powerful new tool to check important properties in critical systems based on the concept of symbolic state and DBM data structures (Difference Bound Matrices).
The specifications are expressed using timed automata system and realtime logic for properties.
The obtained results are compared with those in the literature.
الملخص FRE
En génie informatique d’aujourd’hui, l’objectif est d’arriver à des méthodes et des outils qui peuvent exécuter la vérification de modèle automatiquement : le model checking.
Le problème du model checking est le grand espace d’états.
Une des solutions est d’utiliser le model checking symbolique combinée à des structures de données compactes.
Le but de ce papier est de concevoir et mettre en application un nouvel outil performant, pour vérifier des propriétés importantes dans les systèmes critiques basés sur la notion d’état symbolique ainsi que des structures de données DBM (Difference Bound Matrices).
Les spécifications sont exprimées à l’aide d’automates temporisés pour le système et de logique temps réel pour les propriétés.
Les résultats obtenus sont comparés à ceux de la littérature.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Ferdenache, Ahlem& Boudour, Rashid. 2016. Un verificateur symbolique efficace. Synthèse،Vol. 2016, no. 33, pp.94-105.
https://search.emarefa.net/detail/BIM-728890
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Ferdenache, Ahlem& Boudour, Rashid. Un verificateur symbolique efficace. Synthèse No. 33 (Dec. 2016), pp.94-105.
https://search.emarefa.net/detail/BIM-728890
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Ferdenache, Ahlem& Boudour, Rashid. Un verificateur symbolique efficace. Synthèse. 2016. Vol. 2016, no. 33, pp.94-105.
https://search.emarefa.net/detail/BIM-728890
نوع البيانات
مقالات
لغة النص
الفرنسية
الملاحظات
Includes bibliographical references : p. 105
رقم السجل
BIM-728890
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
