Two kinds of verification algorithms for microprogram transformation commands are proposed. One algorithm is for moving a single microorder or a group of microorders, and the other is for general improvements that are not covered by the first algorithm. These algorithms are to be used for verifying transformation commands for improving a microprogram while preserving its meaning. These algorithms have been implemented in a firmware editor which is a subsystem of a computer-aided firmware design system, CHEF (Conversational and Hierarchical languages system for Enhanced Firmware).