Academic Journal
Checking Timed Büchi Automata Emptiness Efficiently
| العنوان: | Checking Timed Büchi Automata Emptiness Efficiently |
|---|---|
| المؤلفون: | Stavros Tripakis |
| المساهمون: | The Pennsylvania State University CiteSeerX Archives |
| المصدر: | http://www-verimag.imag.fr/PEOPLE/tripakis/papers/fmsd05.pdf. |
| سنة النشر: | 2005 |
| المجموعة: | CiteSeerX |
| مصطلحات موضوعية: | timed automata, symbolic model-checking, on-the fly verification, verification tools |
| الوصف: | This paper presents an on-the-fly and symbolic technique for efficiently checking timed automata emptiness. It is symbolic because it uses the simulation graph (instead of the region graph). It is on-the-fly because the simulation graph is generated during the test for emptiness. We have implemented a verification tool called PROFOUNDER based on this technique. To our knowledge, PROFOUNDER is the only available tool for checking emptiness of timed Büchi automata. To illustrate the practical interest of our approach, we show the performances of the tool on a non-trivial case study. |
| نوع الوثيقة: | text |
| وصف الملف: | application/pdf |
| اللغة: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.7565; http://www-verimag.imag.fr/PEOPLE/tripakis/papers/fmsd05.pdf |
| الاتاحة: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.7565 http://www-verimag.imag.fr/PEOPLE/tripakis/papers/fmsd05.pdf |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| رقم الانضمام: | edsbas.A0BEDE22 |
| قاعدة البيانات: | BASE |
| الوصف غير متاح. |