Academic Journal
A Parametric Analysis of the State-Explosion Problem in Model Checking ⋆
| العنوان: | A Parametric Analysis of the State-Explosion Problem in Model Checking ⋆ |
|---|---|
| المؤلفون: | S. Demri, F. Laroussinie, Ph. Schnoebelen |
| المساهمون: | The Pennsylvania State University CiteSeerX Archives |
| المصدر: | http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DLS-jcss-param.pdf. |
| المجموعة: | CiteSeerX |
| الوصف: | In model checking, the state-explosion problem occurs when one checks a non-flat system, i.e., a system implicitly described as a synchronized product of elementary subsystems. In this paper, we investigate the complexity of a wide variety of modelchecking problems for non-flat systems under the light of parameterized complexity, taking the number of synchronized components as a parameter. We provide precise complexity measures (in the parameterized sense) for most of the problems we investigate, and evidence that the results are robust. 1 |
| نوع الوثيقة: | text |
| وصف الملف: | application/pdf |
| اللغة: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.1209; http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DLS-jcss-param.pdf |
| الاتاحة: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.1209 http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DLS-jcss-param.pdf |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| رقم الانضمام: | edsbas.188D66CF |
| قاعدة البيانات: | BASE |
كن أول من يترك تعليقا!