Much automatic pipeline verification research of the last decade has been based on some form of “Burch-Dill flushing” [BD94]. In this work, we study synchronization-at-retirement, an alternative formulation of correctness for pipelines. In this formulation, the proof obligations can also be verified automatically but have significantly-reduced verification complexity compared to flushing. We pr...

Abstract Gastrointestinal nematodes are responsible for great economic losses in sheep raising, and their control has long been carried out almost exclusively by the administration of anthelmintics, which have led to serious resistance problems. In search alternative measures, phytotherapic research is highlighted. The aim this study was evaluate action Anethum graveolens (dill) essential oil o...

Abstract Background Research interest in plant essential oils has increased significantly due to their natural properties and consumer demand for safer methods of food preservation. Plants produce large amounts secondary metabolites, which have potential activity against fungal pathogens. This study aimed at screening antifungal effects on citrus Penicillium digitatum , morphological effect fin...

The oil obtained by the hydro-distillation method from the fresh leaves and stems of Anethum sowa L. (Dill) herb was analyzed by GC-MS. Nine compounds were isolated and identified. The major constituents were limonene (83 %), grandisol (7.4 %), bis-1,2-benzenedicarboxylic acid (5.7 %), carvone (1.5 %), thujyl alcohol (0.7 %), βphellandrene (0.6 %), cyclohexane (0.5 %), β-myrcene (0.3 %) and α-t...