Non-linear loop invariant generation using Gröbner bases 论文

2004引用 252
DOI
Formal Methods in VerificationLogic, programming, and type systemsPolynomial and algebraic computation
Polynomial and algebraic computationLogic, programming, and type systemsFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

Non-linear loop invariant generation using Gröbner bases · 相关文章

暂无数据