Induction Proofs with Partial Functions
Journal of Automated Reasoning
Closure Induction in a Z-Like Language
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Practical Methods for Proving Program Termination
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Context Dependent Procedures and Computed Types in √eriFun
Electronic Notes in Theoretical Computer Science (ENTCS)
Valigator: A Verification Tool with Bound and Invariant Generation
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Using invariant relations in the termination analysis of while loops
Proceedings of the 34th International Conference on Software Engineering
Verifying while loops with invariant relations
International Journal of Critical Computer-Based Systems
Hi-index | 0.00 |