APB bus IWDG verification based on universal verification methodology by Ma, Yue

“…This thesis investigates the verification of the Independent Watchdog (IWDG) module in Microcontroller Units (MCUs) using Universal Verification Methodology (UVM), an advanced approach enhancing system reliability and integrity. …”
Get full text

Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

“…Other tools providing real-time feedback already exist, but ours is the first one that only relies on a small trusted proof checker and that provides a concise summary of the symbolic state at the point in the program currently being edited, as opposed to only indicating whether user-stated assertions or postconditions hold. Program verification requires loop invariants, which are hard to find and tedious to spell out. …”
Get full text

Speed up verification with hardware accelerator by Liu, Yi

“…It also makes the normal ways of verification a bottleneck in the Integrated Circuit (IC) design process due to the cost and time-to-market requirement. …”
Get full text

Counterexample computation in compositional nonblocking verification by Malik, Robi, Ware, Simon

Subjects: “…Verification…”
Get full text
Get full text

Probabilistic verification beyond context-freeness by Li, G

“…Originating from the Restricted Tree-Stack Automaton (rTSA), the rPTSA model inherits broad connections to various fields, including linguistics and higher-order verification. Building on these connections, the research also introduces Probabilistic Additive HORS (PAHORS), which incorporates an affineness constraint and pair-product structures into PHORS.…”

Foundational Integration Verification of a Cryptographic Server by Erbsen, Andres, Philipoom, Jade, Jamner, Dustin, Lin, Ashley, Gruetter, Samuel, Pit-Claudel, Clément, Chlipala, Adam

“…We used very different formal-reasoning techniques throughout the stack, ranging from computer algebra, symbolic execution, and verification-condition generation to interactive verification of functional programs including compilers for C-like and functional languages. …”
Get full text

American Society for Echocardiography Software Suite for Verification and by Claesen, S, Heart, G, Li, W, Bharath, A, Chandra, S, Kitney, R, Dewey, CF Jr, Thomas, JD

Get full text

Contextualizing formal verification for systems security engineering by Shaked, A, Melham, T

Experimental verification of breeding performance of fast reactor blankets. by Wu, Shin-Shyong.

Get full text

Specification and Verification of Strong Timing Isolation of Hardware Enclaves by Lau, Stella, Bourgeat, Thomas, Pit-Claudel, Cl?ment, Chlipala, Adam

Get full text

Discriminative deep metric learning for face verification in the wild by Hu, Junlin, Lu, Jiwen, Tan, Yap Peng

“…Our method achieves very competitive face verification performance on the widely used LFW and YouTube Faces (YTF) datasets.…”
Get full text
Get full text

Robust text-independent speaker verification in environmental noise by Panda, Ashish

“…Automatic speaker verification has many potential applications in security, surveillance and access control. …”
Get full text

Experimental verification of acoustic communication along drill pipes by Lim, Eugene Shizheng.

Get full text

Gain design and verification of autopilot control loops for UVAs by Huang, Qian.

“…In the second part, verifications of designed autopilot system are implemented for both linear and non-linear simulation models. …”
Get full text

Experimental verification of heat and mass transfer in cargo simulation by Chong, Laurel Yun Ning

Get full text

Expectation vs. reality: towards verification of psychological games by Kwiatkowska, M, Norman, G, Parker, D, Santos, G

“…In the context of formal verification, these ideas can be used to produce guarantees on the correctness of multi-agent systems, with a diverse range of applications from computer security to autonomous driving. …”

Psychoacoustic model compensation for robust speaker verification in environmental noise by Panda, Ashish, Srikanthan, Thambipillai

“…We investigate the problem of speaker verification in noisy conditions in this paper. Our work is motivated by the fact that environmental noise severely degrades the performance of speaker verification systems. …”
Get full text
Get full text

Experiment verification of second harmonic generation from ENZ material by Lai, Si Ting

Get full text

2D + 3D approach in face verification algorithm by Hendinata, Joshua

“…This project aimed to combine best of both worlds by using ubiquitous gadget such as laptop and mobile camera to create a low-cost and robust, yet accurate face verification system. The system implements a stereo camera setup to calculate face disparity map which capture face depth information. …”
Get full text

Symbolic verification and strategy synthesis for turn-based stochastic games by Kwiatkowska, M, Norman, G, Parker, D, Santos, G