Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
Revisión del 14:19 8 feb 2012 de Mjoseh (discusión | contribuciones)
Title: | Proving termination with multiset orderings in PVS: theory, methodology and applications |
Authors: | José A. Alonso, María J. Hidalgo and Francisco J. Martín. |
Date: | November 2009. |
Description: | This theory presents a methodology to organize and simplify non-trivial termination proofs of functions using well-founded multiset orderings. The theory consists of:
|
Code: | You can find the PVS theories: |
Documentation: | Papers and documents related with this work: |