Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation
Authors:
- 16 July 2015
- book chapter
- Published by Springer Nature
- p. 658-674
Abstract
No abstract availableKeywords
All Related Versions
This publication has 24 references indexed in Scilit:
- Program analysis as constraint solvingACM SIGPLAN Notices, 2008
- On Multivariate InterpolationStudies in Applied Mathematics, 2005
- Non-linear loop invariant generation using Gröbner basesACM SIGPLAN Notices, 2004
- VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGICInternational Journal of Foundations of Computer Science, 2002
- REDLOGACM SIGSAM Bulletin, 1997
- On multivariate Lagrange interpolationMathematics of Computation, 1995
- On multivariate polynomial interpolationConstructive Approximation, 1990
- Probabilistic algorithm for testing primalityJournal of Number Theory, 1980
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Assigning meanings to programs1967