[Oleg Lobachev  Michael Haritonov], 10 Dec 02 23:50

 OL>>> It's not *the* verifikation I knew...
 MH>> What verification did you know? :)
 OL> Urrr... Partial. {P}S{Q}, you start with P, and if S terminates, then
 OL> is Q true. It's odd, bad, non-intelligent, and we had it in CS1. Butr
 OL> it has somehow nothing in common with hardware...

Not it is really so far :) In fact, a digital hardware project is an
implementation of some data processing algorithm and, therefore, the
project could theoretically be verified against its specification.

        Best wishes,
                     Mix.

--- Снесла курочка дедушке 1.1.4.4 сами знаете что..