搜索结果: 1-1 共查到“计算机科学技术 Invariant Inference”相关记录1条 . 查询时间(0.031 秒)
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...