Model checking became a standard method of analysing complex systems in many application domains. No doubt, a number of applications is placing great demands on model checking tools. The process of analysis of complex and real-life systems often requires vast computation resources, memory in particular. This phenomenon, referred to as the state space explosion problem, has been tackled by many ...

The thesis focuses on counterexample explanation in model checking, which aims to provide useful information about the cause of an error so that the system designer can find and fix the error faster. We summarize some of the existing methods to deal with this problem and implement the method of Alex Groce and Willem Visser. This method describes three ways of comparing failing and unfailing run...

Cover illustration: A farmer from Devon, England, 1942, with the divine power of finding water using only his hands and a hazel twig.

Sheridan, in his “Toward an Eclectic Ontology of Presence” (Sheridan, 1999), approaches the semblance of an ontological argument with discussion of “divine presence” in relation to virtual reality communications media and the consequent effect of virtuality upon the mind/matter ensemble. Although he doesn’t offer proof for God, Sheridan (and subsequently Mantovani and Riva, who accept Sheridan’...

This essay explains and analyzes Robert John Russell’s theory of divine action. Russell’s proposal has exercised significant influence on others working in the area of science and religion with interests in Christian systematic theology. It would be valuable to trace the lines of that influence, but I do not have space to do that here. I can testify to his influence in more personal terms, howe...

every one of the scholars in theology, philosophy and mysticism has their own methodologies for explaining and proving the necessity for the existence of the perfect man. theologians have applied the ‘rule of grace’ in this regard. philosophers tend to prove the existence of the perfect man by means of ‘the holy capability of the acquired intellect (aql al-mustafad)’ as well as ‘divine wisdom’....

question about the possibility of knowledge about the true nature of divine essence and attributes has always been one of the most important issues in the history of human thought. in various statements of imam ‘alī (a.s.)’s sayings, it is asserted that knowledge about the true nature of divine essence and attribute is not possible for man by any of recognition tools. although this type of know...