Verification techniques for C11 programs have advanced significantly in recent years with the development of operational semantics and associated logics increasingly large fragments C11. However, these been developed a restricted setting to avoid thin-air-read problem. In this article, we propose an that leverages intra-thread partial order (called semantic dependencies ) induced by recently de...

Deductive verification techniques for C11 programs have advanced significantly in recent years with the development of operational semantics and associated logics increasingly large fragments C11. However, these been developed a restricted setting to avoid thin-air-read problem. In this paper, we propose an that leverages intra-thread partial order (called semantic dependencies) induced by rece...

Abstract Weak memory presents a new challenge for program verification and has resulted in the development of variety specialised logics. For C11-style models, our previous work shown that it is possible to extend Hoare logic Owicki–Gries reasoning verify correctness weak programs. The technique introduces set high-level assertions over C11 states together with basic Hoare-style axioms atomic s...

In this study we evaluated the biting deterrent effects of a series of saturated and unsaturated fatty acids against Aedes aegypti (L), yellow fever mosquito (Diptera: Culicidae) using the K & Dbioassay module system. Saturated (C6:0 to C16:0 and C18:0) and unsaturated fatty acids (C11:1 to C14:1, C16:1, C18:1, and C18:2) showed biting deterrence index (BDI) values significantly greater than et...

Self-assembled bolaamphiphilic perylene bisimide (PBI) containing an amino acid appended fluorescent semiconducting soft material (hydrogel) has been discovered at physiological pH. This new organic material based on self-assembled perylene bisimide appended amino acid-based bolaamphiphile (PBI-C11-Y) has been well characterized using various techniques including UV-Vis, fluorescence, X-ray dif...