逻辑验证系统

（计算机科学技术名词）

逻辑验证系统（logic verification system）是2018年全国科学技术名词审定委员会公布的计算机科学技术名词。用来模拟和检验逻辑设计是否正确的系统。