Bounded model checking of multi-threaded c programs via lazy sequentialization

Bounded model checking (BMC) has successfully been used for many practical program verification problems, but concurrency still poses a challenge. Here we describe a new approach to BMC of sequentially consistent C programs using POSIX threads. Our approach first translates a multi-threaded C program into a nondeterministic sequential C program that preserves reachability for all round-robin schedules with a given bound on the number of rounds. It then re-uses existing high-performance BMC tools as backends for the sequential verification problem. Our translation is carefully designed to introduce very small memory overheads and very few sources of nondeterminism, so that it produces tight SAT/SMT formulae, and is thus very effective in practice: our prototype won the concurrency category of SV-COMP14. It solved all verification tasks successfully and was 30x faster than the best tool with native concurrency handling.<br/

Physical characteristics, mineral analysis and antioxidant properties of some apricot varieties grown in North India PUBLIC INTEREST STATEMENT

Abstract: Eleven apricot varieties (Chinese, Rival, Tilton, Cuminis Haley, Harcot, Margulam, Narmu, Khante, Halman, Badam Chuli, and Cuban) were studied for their mineral analysis, physical characteristics, and antioxidant properties. The physical characteristics varied significantly (p ≤ 0.05) among the apricot varieties. Cuban and Harcot showed a comparatively larger fruit size. However, Cuminis Haley and Harcot showed the highest edible bulk. Nine minerals (Zn, Ca, Cu, Fe, Mg, Na, Mn, P, and K) were analyzed and were found to vary significantly (p ≤ 0.05) among the apricot varieties. Mn, Cu, and Zn elements were present in micro amounts, while K, Mg, Ca, P, and Fe levels were present in macro amounts. Halman and Margulam showed significantly (p ≤ 0.05) higher amount of the minerals. All the varieties showed lower amounts of Cu as compared to the recommended daily intake, ranging from 0-0.82 ppm. All the varieties proved to be rich sources of polyphenols, with significant (p ≤ 0.05) varietal difference. Khante and Halman showed the significantly (p ≤ 0.05) highest methanolic 1,1-diphenyl-2-picrylhydrazyl (DPPH•) radical scavenging activity