Second International Conference, FMCAD a#39;98, Palo Alto, CA, USA, November 4- 6, 1998, Proceedings Ganesh ... Tutorial. on. St Ialmarcka#39;s. Proof. Procedure. for. Propositional. Logic. Mary Sheeran and Gunnar St Ialmarck Prover Technology ... 1. Introduction. In the computer aided design of electronic circuits, a key function is tautology checking, that is testing ... Often, the verification problem can be expressed as an inductive proof, and the base case and the step checked using Stanbsp;...
|Title||:||Formal Methods in Computer-Aided Design|
|Author||:||Ganesh Gopalakrishnan, Phillip Windley|
|Publisher||:||Springer Science & Business Media - 1998-10-21|