Graduate level account of hardware verification and algebraic specification.If there exists a complete term rewriting system aquot;R. such that5 1. (V(M = N) 6 Ap) M 1= N I, and 2. (V(A -Ar p) e 71) A =Ap p, then M J. is a normal form of M for the theory =Ap in the sense that (VM, TV G T(E U V)) M =Ap TV alt;=$agt; M |= JV j. This gives usanbsp;...

Title | : | Formal Methods in Circuit Design |

Author | : | Victoria Stavridou |

Publisher | : | Cambridge University Press - 1993-07-22 |

Continue