Zobrazeno 1 - 10
of 31 565
pro vyhledávání: '"Model-checking"'
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
Publikováno v:
IEEE Access, Vol 12, Pp 119341-119349 (2024)
Bounded Model Checking (BMC) is one of the most prominent approaches used as a falsification engine, capable of identifying counterexamples of bounded length, in a scalable and sustainable way. Nevertheless, in the context of a portfolio-based verifi
Externí odkaz:
https://doaj.org/article/d9d4a4c92ca04fbfaa5b0ee6a20cb684
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
Autor:
Bogdan Aman, Gabriel Ciobanu
Publikováno v:
Computer Science Journal of Moldova, Vol 32, Iss 1(94), Pp 3-18 (2024)
Improving safety is a main objective for medical systems. To assist the modelling and formal analysis of medical systems, we define a language for multi-agent systems handling information, timed communication, and timed migration. We use a simplified
Externí odkaz:
https://doaj.org/article/f7262741a3754bc986809e9797abda16
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.