The approach presented in this chapter significantly differs from all formalisms presented before. Up to now, all approaches were
based on simple formalisms like FSMs, close to the usual modeling methods of hardware designers
KeywordsProof System Order Logic Time Instance Full Adder Internal Line
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 1999