An Improved Algorithm for Deriving Checking Experiments

DOI10.1109/TC.1979.1675306zbMATH Open0393.94047MaRDI QIDQ4175197

Donald D. Givone, Robert D. Braun

Publication date: 1979

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

zbMATH Keywords

AlgorithmAutomataDesignSequential MachinesChecking Experiments

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Circuits, networks (94C99)

This page was built for publication: An Improved Algorithm for Deriving Checking Experiments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4175197)