O and D) of groundwater, springs, rivers and lake waters are used to account for the hydrological processes in the area of the closed maar Lake Masoko in Tanzania. Springs and groundwater from the northern, western and southern parts of the lake basin display relatively stable compositions, close to those of the mean precipitation, evidencing their fast infiltration rate. Springs located in the eastern part of the basin have enriched compositions, which are on the mixing line between the "non evaporated" water and the evaporated lake water. This underlines the hydraulic continuity between the lake and the eastern springs and supports a previous proposition of grounwater outflow from Lake Masoko. The mixing parts of lake water calculated at each spring are constant through time, evidencing the inertia of the system. Furthermore, the mixing part of the lake water decreases linearly with the distance from the lake, suggesting an homogeneous and continuous aquifer. These observations point to a west to east groundwater flow, in agreement with the altitude of different potentials.

SUMMARY We present a new framework for checking safety failures. The approach is based on the conservative inference of the internal states of a system by the observation of the interaction with its environment. It is based on two similar mechanisms: forward implication, which performs the analysis of the consequences of an input applied to the system, and backward implication, that performs the same task for an output transition. While being a very simple approach, it is general and we believe it can yield efficient algorithms in different safety-failure checking problems. As a case study, we have applied this framework to an existing problem, the hazard checking in (speed-independent) asynchronous circuits. Our new methodology yields an efficient algorithm that performs better or as well as all existing algorithms, while being more general than the fastest one.

No abstract