Zobrazeno 1 - 10
of 38
pro vyhledávání: '"CANH MINH DO"'
Autor:
Canh Minh Do, Kazuhiro Ogata
Publikováno v:
PeerJ Computer Science, Vol 10, p e2098 (2024)
This article presents a symbolic approach to model checking quantum circuits using a set of laws from quantum mechanics and basic matrix operations with Dirac notation. We use Maude, a high-level specification/programming language based on rewriting
Externí odkaz:
https://doaj.org/article/b7d3825ca84d47e08001bf5aa20f48c9
Publikováno v:
PeerJ Computer Science, Vol 9, p e1556 (2023)
This article presents a security formal analysis of the hybrid post-quantum Transport Layer Security (TLS) protocol, a quantum-resistant version of the TLS protocol proposed by Amazon Web Services as a precaution in dealing with future attacks from q
Externí odkaz:
https://doaj.org/article/cf6379819ec84ebd988a94b441821f45
Publikováno v:
IEEE Access, Vol 10, Pp 133749-133765 (2022)
We invented a divide & conquer approach to conditional stable model checking so as to ease the state space explosion problem. As indicated by its name, the technique concentrates on conditional stable properties expressed as $\varphi _{1} \leadsto \B
Externí odkaz:
https://doaj.org/article/42d741f708784d1bbc8fa998d7be334d
Autor:
Canh Minh Do, Kazuhiro Ogata
Publikováno v:
IEEE Access, Vol 10, Pp 24955-24975 (2022)
The paper proposes a new testing technique for concurrent programs. The technique is a specification-based testing. For a formal specification S and a concurrent program P, state sequences are generated from P and checked to be accepted by S. We supp
Externí odkaz:
https://doaj.org/article/6989742f340c442db5bbf7860b4deeb8
Publikováno v:
Information, Vol 14, Iss 7, p 384 (2023)
Termination or halting is an important system requirement that many systems should satisfy and can be expressed in linear temporal logic as eventual properties. We devised a divide-and-conquer approach to eventual model checking in order to reduce th
Externí odkaz:
https://doaj.org/article/aca30735bff9493ba6068b83cb477fc2
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.
Publikováno v:
Mathematics, Vol 9, Iss 4, p 368 (2021)
The paper proposes a new technique to mitigate the state of explosion in model checking. The technique is called a divide and conquer approach to eventual model checking. As indicated by the name, the technique is dedicated to eventual properties. Th
Externí odkaz:
https://doaj.org/article/b2e79946cc4e4e11af32e12ed4108c80
Publikováno v:
2022 9th International Conference on Dependable Systems and Their Applications (DSA).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb775a9eb29e06393d3537cf5ee70a22
https://doi.org/10.1109/dsa56465.2022.00045
https://doi.org/10.1109/dsa56465.2022.00045
Publikováno v:
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2585344f313e00644c986b0a07824cda
https://doi.org/10.18293/seke2022-058
https://doi.org/10.18293/seke2022-058
Publikováno v:
The Computer Journal. 65:1353-1364
The paper proposes a new technique to mitigate the state explosion in model checking. The technique is called a divide & conquer approach to leads-to model checking. As indicated by the name, the technique is dedicated to leads-to properties. It is k
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eb158af129a0bc70f9d3a7957d2d9d70
https://doi.org/10.1093/comjnl/bxaa183
https://doi.org/10.1093/comjnl/bxaa183