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

Get full text

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. …”

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

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

“…A structured verification plan, alongside specific test cases, is meticulously crafted to validate the IWDG module's functionality comprehensively. …”
Get full text

Photocatalytic cement for air purification by Lee, Shih Yin.

Get full text

Specification mining for digital circuits by Lim, Zhi Xian

“…During the verification of a hardware system, one of the most important steps is formal specification which is used to describe a system and to analyze its behaviors. …”
Get full text

Purification and molecular properties of papaya pectinesterase by Fayyaz, A., Asbi, B.A., Ghazali, H.M., Che Man, Y.B., Jinap, S.

“…The procedure adopted for purification resulted in an approximate 250-fold purification (784 units/mg protein) with a 45% recovery of the pectinesterase activity. …”
Get full text

Water purification chemicals for emergency application by Huang, Zi Rui.

“…By focusing on the two major water treatment parameters, namely turbidity and fecal coliform, the project aims to formulate water purification chemicals that can be universally applied to different post-disaster situations. …”
Get full text

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

“…We prototyped our technique in the interactive proof assistant Coq, so our framework creates machine-checked proofs that the developed functions satisfy their specifications when executed according to the formal semantics of the source language. …”
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.…”

Biodiesel purification from cellulose-containing materials by Lim, Leonard Chin Boon.

“…With the overall intention of providing a low cost biodiesel purification method so that rural communities can be empowered with the benefits of a clean and sustainable source of energy, the feasibility of using various cellulose-containing materials,namely saw dust, wood shavings, orange peel and coconut husk, for biodiesel purification was qualitatively examined. …”
Get full text

Incorporation of aquaporins into polymeric membranes for water purification by Shen, Wenming

“…Biomimetic membrane desalination is proposed as the most promising among various technologies of water purification, using the aquaporin as robust water channel with high transport efficiency. …”
Get full text

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 present verification of a bare-metal server built using diverse implementation techniques and languages against a whole-system input-output specification in terms of machine code, network packets, and mathematical specifications of elliptic-curve cryptography. …”
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

Effects of purification on the hydrogen production in biomass gasification process by Muhammad Bilal, Muslim, Suriyati, Saleh, Noor Asma Fazli, Abdul Samad

“…The previous research did not focus on hydrogen gas purification produced from biomass gasification process. …”
Get full text

Optimising expression and purification of Dengue soluble E protein by Poh, Nina Yong Xin

“…This study explores the significance of expression and purification of soluble dengue Envelope (E) protein which has strong applications in viral biology, vaccine development, and therapeutic strategies. …”
Get full text

Production and purification of protein nanocages displaying binding domains by Lam, Ngo Cheung

“…Seven gene fusions were designed and constructed, of which four were expressed in E. coli as soluble recombinant proteins. Purification using heat treatment, hydrophobic interaction chromatography and ion exchange chromatography were attempted. …”
Get full text