Zobrazeno 1 - 10
of 31 618
pro vyhledávání: '"'Model checking'"'
Publikováno v:
International Journal of Web Research, Vol 7, Iss 4, Pp 13-27 (2024)
The verification of complex systems has traditionally relied on semi-automatic theorem-proving methods. However, model checking represents a paradigm shift by enabling automated, exhaustive verification of behavioral properties through systematic sta
Externí odkaz:
https://doaj.org/article/c7d2053a08634b9ca88387d4cd2882dc
Autor:
Maxim V. Neyzov, Egor V. Kuzmin
Publikováno v:
Моделирование и анализ информационных систем, Vol 31, Iss 3, Pp 240-279 (2024)
The article continues the series of publications on the development and verification of control programs based on LTL-specifications of a special type. Earlier, a declarative LTL-specification was proposed to describe the strictly deterministic behav
Externí odkaz:
https://doaj.org/article/7b8c9ffc0b3c480a8bd054fe01cca27a
Autor:
Giulia Varriano, Vittoria Nardone, Maria Chiara Brunese, Michela Bruno, Antonella Santone, Luca Brunese, Marcello Zappia
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-10 (2024)
Abstract Adhesive Capsulitis of the shoulder is a painful pathology limiting shoulder movements, commonly known as “Frozen Shoulder”. Since this pathology limits movement, it is important to make an early diagnosis. Diagnosing capsulitis relies o
Externí odkaz:
https://doaj.org/article/b8375b60bc424e36823d821b32470823
Autor:
Libero Nigro, Franco Cicirelli
Publikováno v:
Modelling, Vol 5, Iss 3, Pp 694-719 (2024)
Mutual exclusion algorithms are at the heart of concurrent/parallel and distributed systems. It is well known that such algorithms are very difficult to analyze, and in the literature, different conjectures about starvation freedom and the number of
Externí odkaz:
https://doaj.org/article/60556c19bb2143a5b74c718389bb3de5
Publikováno v:
Cogent Engineering, Vol 11, Iss 1 (2024)
Verification of real-time system properties using formal models can improve system design and quality. The Timed Petri net is a formal model for modelling and designing real-time systems with time constraints. Furthermore, model checking is a formal
Externí odkaz:
https://doaj.org/article/00acf64b5a9448c5a3b5889bc2cc77e9
Autor:
Ismail, Zul-Atfi
Publikováno v:
Journal of Enterprise Information Management, 2023, Vol. 37, Issue 3, pp. 851-874.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/JEIM-05-2022-0168
Autor:
Maxim V. Neyzov, Egor V. Kuzmin
Publikováno v:
Моделирование и анализ информационных систем, Vol 31, Iss 2, Pp 120-141 (2024)
The article continues the series of works on development and verification of control programs based on LTL-specifications of a special type. Previously, it was proposed a declarative LTL-specification, which allows describing the behavior of control
Externí odkaz:
https://doaj.org/article/9e57936301e44ae5951ac50e3c89b5da
Publikováno v:
Mathematics Interdisciplinary Research, Vol 9, Iss 2, Pp 151-169 (2024)
The utilization of model checking has been suggested as a formal verification technique for analyzing critical systems. However, the primary challenge in applying to complex systems is the state space explosion problem. To addres
Externí odkaz:
https://doaj.org/article/849f4a8f596f412593f255a7a98597bc
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.