Strongest invariant functions: their use in the systematic analysis of while statements

Proof planning for strategy development

Annals of Mathematics and Artificial Intelligence

Invariant Discovery via Failed Proof Attempts

LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation

Harnessing a Refinement Theory to Compute Loop Functions

Electronic Notes in Theoretical Computer Science (ENTCS)

Relational Methods in the Analysis of While Loops: Observations of Versatility

RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science

Using invariant functions and invariant relations to compute loop functions

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2

Mechanical inference of invariants for FOR-loops

Journal of Symbolic Computation

Invariant functions and invariant relations: An alternative to invariant assertions

Journal of Symbolic Computation

Invariant relations, invariant functions, and loop functions

Innovations in Systems and Software Engineering