This paper, which was originally presented at the Cardiff conference of the B.C.S. in September 1962, describes in detail the techniques used to check the logical design of the Sabrac computer

The Sabrac Computer is a 100-kc serial transistorized device designed, constructed and now operating in the laboratories of the Scientific Department of the Israel Ministry of Defence. Main storage is on a 5000-word magnetic drum, but a 224-word serial, ferrite core-store serves as an immediate access operating store. Transfers between the high-speed store and the drum, as well as the comprehensive input/output orders, may operate autonomously (time-shared). This, and the many other "Second Generation" features such as a "Second Modifier," an "Extract" order, fast multiplication, division and shift and a flexible order code with a total of some 200 separate orders, all help to speed operation. Thus, the effective operational speed of Sabrac is at least an order of magnitude greater than that of similar first generation devices.