Zobrazeno 1 - 10
of 4 203
pro vyhledávání: '"Compositional verification"'
Compositional verification algorithms are well-studied in the context of model checking. Properly selecting components for verification is important for efficiency, yet has received comparatively less attention. In this paper, we address this gap wit
Externí odkaz:
http://arxiv.org/abs/2408.03488
Autor:
Ishii, Daisuke
The compositional approach is important for reasoning about large and complex systems. In this work, we address synchronous systems with hierarchical structures, which are often used to model cyber-physical systems. We revisit the theory of reactive
Externí odkaz:
http://arxiv.org/abs/2403.10919
Autor:
Falcão, Flávia1 (AUTHOR) fmcf2@cin.ufpe.br, Lima, Lucas2 (AUTHOR) lucas.albertins@ufrpe.br, Sampaio, Augusto1 (AUTHOR) acas@cin.ufpe.br, Antonino, Pedro3 (AUTHOR) prgantonino@gmail.com
Publikováno v:
Software & Systems Modeling. Jun2024, Vol. 23 Issue 3, p765-798. 34p.
Autor:
Xiaoyan Liu
Publikováno v:
IEEE Access, Vol 12, Pp 92612-92621 (2024)
Assume-guarantee reasoning is indeed an effective compositional verification technique that can help mitigate the state explosion problem in model checking. However, the biggest challenge of applying assume-guarantee reasoning is how to best decompos
Externí odkaz:
https://doaj.org/article/06e06bcd551e4988afe39868b5a185d4
In previous work, summarized in this paper, we proposed an operation of parallel composition for rewriting-logic theories, allowing compositional specification of systems and reusability of components. The present paper focuses on compositional verif
Externí odkaz:
http://arxiv.org/abs/2307.16537
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.
Autor:
Xie, Jian1,2,3 (AUTHOR) xiejian_5@nuaa.edu.cn, Tan, Wenan1,2,3 (AUTHOR), Yang, Zhibin1,2,3 (AUTHOR), Li, Shuming1,2 (AUTHOR), Xing, Linquan1,2 (AUTHOR), Huang, Zhiqiu1,2,3 (AUTHOR)
Publikováno v:
Connection Science. Dec2022, Vol. 34 Issue 1, p911-941. 31p.
Autor:
Bakirtzis, Georgios, Topcu, Ufuk
Autonomous systems require the management of several model views to assure properties such as safety and security among others. A crucial issue in autonomous systems design assurance is the notion of emergent behavior; we cannot use their parts in is
Externí odkaz:
http://arxiv.org/abs/2203.16343