Zobrazeno 1 - 10
of 8 187
pro vyhledávání: '"checking tool"'
Autor:
Nasution, Andreanda1 (AUTHOR) andreanda@uika-bogor.ac.id, Afrianto, Yuggo2 (AUTHOR), Fadillah, Fikri Adam2 (AUTHOR), Ramadhan, Fakhri Sofwan2 (AUTHOR), Kusanti, Jani3 (AUTHOR), Ritzkal2 (AUTHOR)
Publikováno v:
Ingénierie des Systèmes d'Information. Oct2024, Vol. 29 Issue 5, p2039-2046. 8p.
Autor:
Ni, Liwei, Yang, Zonglin, Zhang, Jiaxi, Feng, Changhong, Liu, Jianhua, Luo, Guojie, Li, Huawei, Xie, Biwei, Li, Xingquan
Technology mapping is an essential step in EDA flow. However, the function of the circuit may be changed after technology mapping, and equivalence checking (EC) based verification is highly necessary. The traditional EC method has significant time an
Externí odkaz:
http://arxiv.org/abs/2312.14541
JBMC is an open-source SAT- and SMT-based bounded model checking tool for verifying Java bytecode. JBMC relies on an operational model of the Java libraries, which conservatively approximates their semantics, to verify assertion violations, array out
Externí odkaz:
http://arxiv.org/abs/2302.02381
Publikováno v:
CIKM 2021
Fact-checking on the Web has become the main mechanism through which we detect the credibility of the news or information. Existing fact-checkers verify the authenticity of the information (support or refute the claim) based on secondary sources of i
Externí odkaz:
http://arxiv.org/abs/2110.10144
Publikováno v:
In Results in Engineering December 2022 16
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:
Hilken, Frank, Gogolla, Martin
Publikováno v:
EPTCS 240, 2017, pp. 91-97
The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defining the structure and behavior with UML and additional OCL constraints.
Externí odkaz:
http://arxiv.org/abs/1701.08471
Publikováno v:
Results in Engineering, Vol 16, Iss , Pp 100650- (2022)
Building Information Modeling has revolutionized the construction industry by, for example, contributing to the automation of different activities related to the design, planning, and construction of civil works. Tasks such as the review of construct
Externí odkaz:
https://doaj.org/article/4d353bb2de764b3ca71d9b89437aafc2
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.