Skip to Main content Skip to Navigation
Book sections

Proposed Algorithms to the State Explosion Problem

Lamia Allal 1 Ghalem Belalem 1 Philippe Dhaussy 2 Ciprian Teodorov 2
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.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02515359
Contributor : Annick Billon-Coat <>
Submitted on : Monday, March 23, 2020 - 3:03:58 PM
Last modification on : Wednesday, April 21, 2021 - 10:38:03 AM

Identifiers

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⟩

Share

Metrics

Record views

362