A contract negotiation scheme for safety verification of interconnected systems by Tan, X, Papachristodoulou, A, Dimarogonas, DV

“…This paper proposes a (control) barrier function synthesis and safety verification scheme for interconnected nonlinear systems based on assume-guarantee contracts (AGC) and sum-of-squares (SOS) techniques. …”

Vehicle number plate detection and verification using yolo frameworks. by H. Hussein, S. Y. S., M. Ariff, M. H., A. Rahman, M. A.

“…The system aims to compare the effectiveness of different frameworks by outlining each one's unique advantages and disadvantages by determining the best performance in terms of confidence level and accuracy. The verification is applied to the Malaysian number plates following the regulation of the Malaysian transportation system. …”
Get full text

UVM-based PCIe interrupt model for verification of networking platform IP by Liu, Nanxi

“…This means there is currently no appropriate interrupt model for verification of Network system IP at both the IP and SoC levels. …”
Get full text

Separation microkernel security studies and its formal verification related work by Lu, Shengliang

“…In order to guarantee that it is free of bugs and is following security policies, completely formal verification on XtratuM is conducted by Securify team. …”
Get full text

kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models by Carretero Chavez, Willow, Krantz, Marcus, Klipp, Edda, Kufareva, Irina

“…The verification script VerifyModel.R checks for responsiveness to repeated stimulations as well as consistency of steady state behavior. …”
Get full text

Design and verification of carefree maneuvering protection for a high performance fighter aircraft by Jebakumar, S. K., Pashilkar, Abhay A., Sundararajan, Narasimhan

Subjects: Get full text

Platform development for control of induction machine (Part II control algorithm verification) by Kang, Jia Yi

Get full text

Analysis and systematic verifications of a low-IF RF receiver targeting GNSS applications by Pramoda, Damle

Get full text

An efficient soft error protection scheme for MPSoC and FPGA-based verification by Liu, Weichen, Zhang, Wei, Mao, Fubing

Get full text
Get full text

Towards formal verification of Bayesian inference in probabilistic programming via guaranteed bounds by Zaiser, F

“…Overall, these contributions mark a significant step towards formal verification of Bayesian inference results in probabilistic programming.…”

What is formal verification without specifications? A survey on mining LTL specifications by Neider, D, Roy, R

“…Virtually all verification techniques using formal methods rely on the availability of a formal specification, which describes the design requirements precisely. …”

Implementation of industry-standard functional coverage in UVM testbench for SoC level verification by Zhang, Shaoyan

“…As ICs（Integrated Circuits）process technologies and SoC (system-on-chip) design techniques continue to advance, IC chip designs continue to grow in size and complexity. Verification IP automates the generation of test stimulus, data comparison and coverage statistics, and its verification components are well integrated and reused in the SoC system-level verification environment. …”
Get full text

Chebyshev Functional Link Neural Network-based modeling and experimental verification for photovoltaic arrays by Jiang, Lian Lian., Maskell, Douglas L., Patra, Jagdish C.

“…In the experimental section, the operating current predicted by CFLNN is compared with the outputs from other two modeling methods - MLP and the two-diode model. Finally, verification is performed using experimental datasets. …”
Get full text
Get full text

Dose verification of 3D printed male pelvic phantom for radiotherapy quality assurance by Maniam, Peraveen M

“…In addition, dose verification was conducted using the phantom with thermoluminescent dosimeter-100 (TLD-100) and ionisation chamber. …”
Get full text

Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation by Athalye, Anish, Corrigan-Gibbs, Henry, Kaashoek, Frans, Tassarotti, Joseph, Zeldovich, Nickolai

Get full text

Verification of social media content for news production: a thematic review of journalistic technique and strategies by Baharom, Melinda, Ghazali, Akmar Hayati Ahmad, Bin Ahmad, Abdul Mua'ti Zamri

“…This study will benefit knowledge of journalists' verification social media techniques and strategies and future study of journalists' verification practices.…”
Get full text

Reachability and escape problems in linear dynamical systems by Dcosta, J

Subjects:

Achieving 500x acceleration for adversarial robustness verification of tree-based smart grid dynamic security assessment by Ren, Chao, Zou, Chunran, Xiong, Zehui, Yu, Han, Dong, Zhao Yang, Dusit, Niyato

“…This letter presents a novel and efficient adversarial robustness verification method for tree-based smart grid dynamic security assessment (DSA). …”
Get full text

Design and verification of a fast low-dropout regulator for a high performance receiver chain targeting GNSS applications by Debaditya, Mullick

Get full text

A formal methodology for verifying side-channel vulnerabilities in cache architectures by Jiang, Ke, Zhang, Tianwei, Sanan, David, Zhao, Yongwang, Liu, Yang

Subjects: Get full text