The ProB disprover uses constraint solving to try and find counter examples to proof obligations. As the ProB kernel is now capable of determining whether a search was exhaustive, one can also use the disprover as a prover. In this paper, we compare the ProB Prover with the standard automatic provers for B and Event-B, such as ml, pp and the Rodin SMT plug-in. We demonstrate that ProB is able t...

Mark Here Section Time Location GSI 1 9-10am 6 Evans Ramtin 2 10-11am 71 Evans Ramtin 3 11-12pm 71 Evans Nima 4 12-1pm 2 Evans Nima 5 1-2pm 87 Evans Sridhar 6 2-3pm 2070 VLSB Sridhar 7 3-4pm 85 Evans Chung-Wei 8 4-5pm 9 Evans Chung-Wei 9 5-6pm 9 Evans Richard 10 1-2pm 3105 Etch. Chenyu 11 2-3pm 151 Barr. Kate 12 4-5pm B51 Hilde. Richard 13 6-7pm 70 Evans Sibi 14 12-1pm 101 Wheel. Chenyu 15 4-5p...

We present the implementation of PYB, a predicateand expression-checker for the B language. The tool is to be used for a secondary tool chain for data validation and data generation, with PROB being used in the primary tool chain. Indeed, PYB is an independent cleanroom-implementation which is used to double-check solutions generated by PROB, an animator and model-checker for B specifications. ...

We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the animator provided by the B-Toolkit, the user does not have to guess the right values for the operation arguments or choice variables. ProB contains a model checker and a constraint-based checker, both of which can be used to d...

Bu çal??mada Türkiye’de yoksullu?u etkileyen hanehalk? sorumlusunun demografik özellikleri probit model yöntemi ile belirlenmi?tir. Analiz verileri Türkiye ?statistik Kurumuna ait 2017 y?l? hane halk? gelir ve ya?am ko?ullar? ara?t?rmas? fert anketlerinden sondaj birle?tirme yoluyla elde edilmi?tir. Ard?ndan 22869 kay?t aras?ndan bölgelere göre tabakal? örnekleme 761 seçilmi?tir. Ele al?nan de?...

Over the years, PROB has moved from a tool that complemented proving, to a development environment that is now sometimes used instead of proving for applications, such as exhaustive model checking or data validation. This has led to much more stringent requirements on the integrity of PROB. In this paper we present a summary of our validation efforts for PROB, in particular within the context o...

The aim of the present study was to evaluate the effect of systemic administration of probiotics (PROB) on the progression of experimentally induced oral and intestinal mucositis in rats immunosuppressed by chemotherapy (5-fluorouracil: 5-FU). Twenty-four rats were divided into the following groups (n=6): GC (control), GPROB, G5FU and G5-FU/PROB. Groups GPROB and G5-FU/PROB received 1 g of prob...

It has long been recognized that hierarchical problem solving can be used to reduce search. Yet, there has been little analysis of the problemsolving method and few experimental results. This paper provides the first comprehensive analytical and empirical demonstrations of the effectiveness of hierarchical problem solving. First, the paper shows analytically that hierarchical problem solving ca...

The use of case studies in the context of Problem-Based Learning (PBL) is described. A rationale for the use of a problem-based approach is given together with some key features that arise. Two case studies are described briefly in terms of their relevance to an interdisciplinary subject area (Environmental Sciences), their content, some operational aspects, and their applicability in the teach...

Over the years, PROB has moved from a tool that complemented proving, to a development environment that is now sometimes used instead of proving for applications, such as exhaustive model checking or data validation. This has led to much more stringent requirements on the integrity of PROB. In this paper we present a summary of our validation efforts for PROB, in particular within the context o...