Counterexample-guided polynomial loop invariant generation by Lagrange interpolation
From MaRDI portal
Publication:1702935
DOI10.1007/978-3-319-21690-4_44zbMath1381.68049arXiv1502.04280OpenAlexW1948975400MaRDI QIDQ1702935
Chih-Duo Hong, Yu-Fang Chen, Bow-Yaw Wang, Li-jun Zhang
Publication date: 1 March 2018
Full work available at URL: https://arxiv.org/abs/1502.04280
Interpolation in approximation theory (41A05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops, Moment-based analysis of Bayesian network properties
