Logic analyzer A program for detecting violations of logic or logical errors in the sequence of reasoning.
