This article investigates whether firms react to a radical technological substitution threat by a deliberate acceleration of innovation in their existing technology – the ‘sailing ship effect’. It has been argued that the effect is both significant and widespread and warrants a reexamination of our assumptions about the working of the competitive process (Rosenberg 1972). Reexamination of two c...

Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among threads. Most modern software model checkers can handle only one source of non-determinism efficiently, but not both. This paper describes a SAT-based model checker for asynchronous Boolean programs that handles both sources effec...