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

Surface modification and characterization of polypropylene fibers by Tan, Terry Jian Hong.

“…This surface modification comes with physical etching of the surface as well as alterations to the chemical characteristics of the fiber surface. …”
Get full text

Bio-modification of sand for cement grouting by Ng, Samuel Joel Rui Ming

Get full text

Electrochemical modification of electrodes with metal nanoparticles by Mavrokefalos, C

“…The electrochemical activity of these materials was investigated in order firstly to expand the knowledge of diamond electrochemistry and secondly to establish an understanding of how the electrochemical modification with metal nanoparticles of core-shell structure impacts their electrochemical performance.…”

Elucidating the effects of DNA modification on transcription by Yavorska, O

“…<p>DNA modifications play important roles in genome function of vertebrates. 5-methylcytosine (mC) has been extensively studied over the last 50 years as the most common covalent DNA modification, present at roughly 70% of CpGs in the human genome. …”

Mapping epigenetic modifications by sequencing technologies by Chen, X, Xu, H, Shu, X, Song, C-X

“…Thus far, chemical modifications on histones, DNA, and RNA have emerged as three important building blocks of epigenetic modifications. …”

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