Accéder directement au contenu Accéder directement à la navigation
Chapitre d'ouvrage

Proposed Algorithms to the State Explosion Problem

Lamia Allal 1 Ghalem Belalem 1 Philippe Dhaussy 2 Ciprian Teodorov 2
1 Université d'Oran 1 Ahmed Ben Bella [Oran]
2 Lab-STICC_ENSTAB_ CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : Model checking is a very powerful formal verification technique. Formal verification of complex systems is a major challenge in many areas of human society. The verification of properties of these systems is recognized as a difficult problem and faces a number of practical and theoretical problems. The main limitation of the formal verification is known as the state explosion problem. In this paper, we discuss about two contributions to this problem for the improvement of performance in time and memory space.
Keywords : Model checking State explosion problem Parallel exploration Reachability graph
Type de document :
Chapitre d'ouvrage
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-02515359
Contributeur : Annick Billon-Coat <>
Soumis le : lundi 23 mars 2020 - 15:03:58
Dernière modification le : mercredi 24 juin 2020 - 16:19:56

Identifiants

Collections

UNIV-BREST | LAB-STICC | CNRS | INSTITUT-TELECOM | ENSTA-BRETAGNE-STIC | ENSTA-BRETAGNE | ENIB

Citation

Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Proposed Algorithms to the State Explosion Problem. Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩. ⟨hal-02515359⟩

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

312