逻辑验证系统（logic verification system）是2018年全国科学技术名词审定委员会公布的计算机科学技术名词。
用来模拟和检验逻辑设计是否正确的系统。
《计算机科学技术名词 》第三版。
香烟价格
水利万物而不争,
而万物莫能与之争。
