Výsledky vyhledávání - "State space explosion"

Report

Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion

Publikováno v: EPTCS 409, 2024, pp. 53-69

The synthesis of reactive systems aims for the automated construction of strategies for systems that interact with their environment. Whereas the synthesis approach has the potential to change the development of reactive systems significantly due to

Externí odkaz: http://arxiv.org/abs/2411.00048

Zobrazit plný text záznamu

Akademický článek

State Space Explosion Mitigation for Large-Scale Attack and Compliance Graphs Using Synchronous Exploit Firing

Autor: Noah L. Schrick, Peter J. Hawrylak

Publikováno v: IEEE Open Journal of the Computer Society, Vol 4, Pp 147-157 (2023)

Attack and compliance graphs are useful tools for cybersecurity and regulatory or compliance analysis. Thgraphs represent the state of a system or a set of systems, and can be used to identify all current or future ways the systems are compromised or

Externí odkaz: https://doaj.org/article/a64fc1a4f30a4fc580816273c3812d2b

Zobrazit plný text záznamu

Akademický článek

Handling State Space Explosion in Component-Based Software Verification: A Review

Autor: Faranak Nejati, Abdul Azim Abd Ghani, Ng Keng Yap, Azmi Bin Jafaar

Publikováno v: IEEE Access, Vol 9, Pp 77526-77544 (2021)

Component-based software development (CBSD) is an alternative approach to constructing software systems that offers numerous benefits, particularly in decreasing the complexity of system design. However, deploying components into a system is a challe

Externí odkaz: https://doaj.org/article/89d1d198d6e54fcd866b89b4fe2894c4

Zobrazit plný text záznamu

Akademický článek

A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness

Autor: N. Rezaee, H. Momeni

Publikováno v: Journal of Artificial Intelligence and Data Mining, Vol 8, Iss 2, Pp 189-199 (2020)

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system s

Externí odkaz: https://doaj.org/article/78050ff36c054ec4858381d50e835a3b

Zobrazit plný text záznamu

Report

Alleviating State-space Explosion in Component-based Systems with Distributed, Parallel Reachability Analysis Algorithm

Autor: Narayanan, Vasumathi K.

In this work, we alleviate the well-known State-Space Explosion (SSE) problem in Component Based Systems (CBS). We consider CBS that can be specified as a system of n Communicating Finite State Machines (CFSMs) interacting by rendezvous/handshake met

Externí odkaz: http://arxiv.org/abs/1803.03127

Zobrazit plný text záznamu