搜索结果: 1-1 共查到“计算机科学技术 The Saturn Program”相关记录1条 . 查询时间(0.14 秒)
Saturn is a system for the static analysis of programs. Saturn aims to be both highly scalable and precise, with the goal of eventually being able to verify the absence of certain kinds of bugs in rea...