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...

The specific question faced in this essay is whether special divine revelation has received embodiment in Holy Scripture. Are the Old and New Testaments to be acknowledged, not only as containing a record of the history of such revelation, but also as being themselves the very Word of God? Do they constitute divine revelation because of their intrinsic character, altogether apart from the respo...

We present familiar principles involving objects and classes (of objects), pairing (on objects), choice (selecting elements from classes), positive classes (elements of an ultrafilter), and definable classes (definable using the preceding notions). We also postulate the existence of a divine object in the formalized sense that it lies in every definable positive class. ZFC (even extended with c...