An automated system for checking whether assertions attached to the text of some program are consistent with the semantics of that program as given by some formal semantic definition of the programming language. See also mechanical verifier.
科学参考收录了60776条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。