Details:
| Title | Mechanical inference of invariants for FOR-loops | | Author(s) | Stefan Kauer, Winkler | | Type | Article in Journal | | Abstract | | | Keywords | Mechanical verification, Mechanical inference of loop invariants, FOR-loop, RCPV | | ISSN | 0747-7171 |
| URL |
http://www.sciencedirect.com/science/article/pii/S0747717109000522 |
| Language | English | | Journal | Journal of Symbolic Computation | | Volume | 45 | | Number | 11 | | Pages | 1101 - 1113 | | Year | 2010 | | Note | Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
