We present a model checking algorithm for safety properties that is applicable to parameterized systems and hence provides a unifying approach of model checking for parameterized systems. By analysing the conditions under which the proposed algorithm terminates, we obtain a characterisation of a subclass for which this problem is decidable. The known decidable subclasses, token rings and broadc...

This paper presents a proof framework for verifying concurrent programs that communicate using global variables. The approach is geared towards verification of models that have an unbounded state size and are as close to the original code as possible. The bakery algorithm is used as a demonstration of the framework basics, while the (full) framework with thread synchronization was used to verif...

Unfavorable ecological and food security situation in the world causes frequent spread of diseases gastrointestinal tract. In particular, number cases irritable bowel syndrome is increasing, especially among young working population. Diet therapy, which includes increasing amount dietary fiber combination with phospholipids, effective for prevention these diseases. A perspective raw material a ...

Carob flour is increasingly popular in innovative functional foods. Its main producers are Mediterranean countries, facing health and nutrition challenges, difficulties tackling climate change. This study aims at formulating sustainable bakery products of high nutritional value while pleasing the consumer addressing regional challenges. Hence, carob was obtained by grinding sun-dried pods, thus...

Background & Aims of the Study: This study aimed to determine sodium dithionite as an additive in traditional bread and its health risk assessment Qom province was designed two stages. Materials Methods: It In first stage, concentration Sodium breads (4 type with code number 1, 2, 3, 4) were measured. 70 samples randomly selected from bakeries analyzed by spectrophotometer 560 nm Instrument...

The increasingly rapid development of the business world requires companies engaged in industry, trade, and services to continue optimize their activities win market competition. Mikaila Bakery is one businesses producing birthday cakes Gorontalo Province. In cake at Bakery, so far, amount production only determined by estimates, profits do not reach optimal profits. This study aimed determine ...

Acrylamide or 2-propenamide is a chemical compound, with chemical formula CH2=CH–CO–NH2, that can be produced at high levels in high-carbohydrate heattreated foods. The risks of acrylamide to health and its toxic properties (neurotoxicity, genotoxicity, carcinogenicity and reproductive toxicity) were demonstrated by the Scientific Committee on Toxicity, Ecotoxicity and the Environment in 2001. ...

Last decade is characterized by the increase in incidence of inflammatory bowel diseases all over world. Diet therapy, which includes reducing amount dietary fiber and including phospholipids it, effective maintaining a sTable condition case these diseases. A promising raw material with low content rice flour, may be added to recipe bakery products replace part wheat flour. The aim work was det...

We divided industrial yeast strains of Saccharomyces cerevisiae into three groups based on the sequences of their internal transcribed spacer (ITS) regions. One group contained sake yeasts, shochu yeasts, and one bakery yeast, another group contained wine yeasts, and the third group contained beer and whisky yeasts, including seven bakery yeasts. The three groups were distinguished by polymorph...

The production of bakery goods is strictly time sensitive due to the complex biochemical processes during dough fermentation, which leads to special requirements for production planning and scheduling. Instead of mathematical methods scheduling is often completely based on the practical experience of the responsible employees in bakeries. This sometimes inconsiderate scheduling approach often l...