TLA+形式化验证相关硕士博士期刊学术论文

为了保证软件产品的正确性,常会采用领域驱动设计、代码重构、测试分层和自动化测试等各种方法。如果在软件设计阶段出现错误,往往......