An Improved Bound on the Length of Checking Experiments for Sequential Machines with Counter Cycles

  • Authors:
  • C. E. Holborow

  • Affiliations:
  • Department of Electrical Engineering, The Johns Hopkins University, Baltimore, Md. 21218.

  • Venue:
  • IEEE Transactions on Computers
  • Year:
  • 1972

Quantified Score

Hi-index 15.00

Visualization

Abstract

The bound on the length of checking experiments derived by Murakami et al. [1] is improved by using a more efficient output specification in the counter cycle.