单词	程序验证
释义	程序验证医program verification
随便看	Optical Neural Device optical neural network optical neural networks optical neurochip optical-neuro chip optical neurocomputer optical neurocomputing optical neuromyelitis Optical Night Landing Approach System optical nodes optical noise optical noise autocorrelation optical noise immunity optical noise level optical noise map optical-noise map optical noise origin optical nonlinearity optical nonlinear loop mirrors optical non-uniformity optical normal line optical novelty filter system optical nuclear polarization optical null method optical null point