Katsumi Wasaki, Ken-ichi Arai. A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker. In Hamid R. Arabnia, Pei Li Zhou, editors, Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA. pages 10-16, CSREA Press, 2007.
Abstract is missing.