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

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

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

The development of electronic publication in China by Kuang, Wenbo

“…The article discusses the current situation of electronic publication in China: its achievement and its problems. …”
Get full text

Unprinted: publication beyond the press by Kohler, D, Wakelin, D, Domeisen, N, Jones, E, Mackay, M, Maxton, R, Moore, BM, Noble, K, Simon, FM, Haywood, D, Wojahn, D

“…This Element explores the idea of publication in media used before, alongside, and after print. …”

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

“…In this paper, we discuss a software suite soon to be released into the public domain for reading, parsing and verifying DICOM 3.0 ultrasonic objects. …”
Get full text

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

Web service architecture for scholarly publication / by Ummu Hani' Hair Zaki, 1990-, author 603684, Roliana Ibrahim, supervisor 603000, Fakulti Komputeran 538688

Translation of culture-specific items in foreign publicity texts : a case study of a bite of China II episode 1 & 2 by Huang, Jingjing

“…The particular text type of foreign publicity requires the translation to be accurate, objective and communicative, which poses more challenges in CSI translation. …”
Get full text

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

“…In this paper, we start to bridge that gap, proposing methods to solve PGs and implementing them within PRISM-games, a formal verification tool for stochastic games. We discuss how to model these games, highlight specific challenges for their analysis and illustrate the usefulness of our approach on several case studies, including human behaviour in traffic scenarios.…”

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

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