Keyword : mathematical induction


Multi-Context Rewriting Induction with Termination Checkers
Haruhiko SATO Masahito KURIHARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/05/01
Vol. E93-D  No. 5 ; pp. 942-952
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Term Rewriting Systems
Keyword: 
equational theorem provingterm rewriting systemsmathematical inductionrewriting inductionmulti-completion
 Summary | Full Text:PDF(581.4KB)

Formal Verification System for Pipelined Processors
Toru SHONAI Tsuguo SHIMIZU 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/06/25
Vol. E79-A  No. 6 ; pp. 883-891
Type of Manuscript:  PAPER
Category: VLSI Design Technology and CAD
Keyword: 
formal verificationpipelineprocessorcorrectnessmathematical induction
 Summary | Full Text:PDF(753KB)