搜索结果: 1-1 共查到“计算机科学技术基础学科 Invariant Checking”相关记录1条 . 查询时间(0.069 秒)
From Invariant Checking to Invariant Inference Using Randomized Search
Invariant Checking Invariant Inference Randomized Search
2016/5/24
We describe a general framework c2i for generating an invariant inference procedure from an invariant checking procedure. Given a checker and a language of possible invariants, c2i generates an infere...