Mechanical reasoning is a key area of research that lies at the crossroads of mathematical
logic and artificial intelligence. The main aim to develop mechanical reasoning systems …

In large scale, heavy workload systems, managing distributed transactions on multiple
datasets becomes challenging and error prone task. Software systems based on service …

The classic readers–writers problem has been extensively studied. This holds to a lesser
degree for the reentrant version, where it is allowed to nest locking actions. Such nesting is …

I cannot allow this thesis to be published without thanking some of the people that helped
me in many ways during these years. With some trepidation I have compiled a short list of …

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 …

We survey existing tools and methods for the simulation, testing and verification of
concurrent communicating systems, and their pertinence for model-driven design and …