The Geometric Algebra formalism opens the door to developing a theory replacing conventional quantum mechanics. Generalizations, stemming from changing of complex numbers by geometrically feasible objects in three dimensions, followed unambiguous definition states, observables, measurements, bring into reality clear explanations weird mechanical features, for example primitively considering ato...

In veriication by explicit state enumeration a randomly ac-cessed state table is maintained. In practice, the total main memory available for this state table is a major limiting factor in veriication. We describe a version of the explicit state enumeration veriier Mur' that allows the use of magnetic disk instead of main memory for storing almost all of the state table. The algorithm avoids co...

In this paper we describe the concept of physical impossibility as an alternative to the specification of fault models. These axioms can be used to exclude impossible diagnoses similar to fault models. We show for Horn clause theories while the complexity of finding a first diagnosis is worst-case exponential for fault models, it is polynomial for physical impossibility axioms. Even for the cas...