http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=Tools%3AVMTLTools:VMTL - Revision history2026-04-30T14:49:10ZRevision history for this page on the wikiMediaWiki 1.34.2http://termination-portal.org/mediawiki/index.php?title=Tools:VMTL&diff=1038&oldid=prevSchernhammer: Created page with '<!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page y…'2009-12-30T10:45:11Z<p>Created page with '<!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page y…'</p>
<p><b>New page</b></p><div><!--<br />
Please fill in the data so that your tool can be added to some default<br />
categories and a simple tool page can be created. You may extend<br />
that tool page yourself after the following code block.<br />
<br />
Please use the "publication" field to add a reference to a publication<br />
introducing your tool. The "References" page can be used to enter a bibtex<br />
record for this publication.<br />
Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]<br />
--><br />
<br />
{{Tool<br />
|shortname=VMTL<br />
|longname=Vienna Modular Termination Laboratory<br />
|homepage=http://www.logic.at/vmtl/<br />
|country=Austria<br />
|university=Vienna University of Technology<br />
|developers=[[People:Felix Schernhammer|Felix Schernhammer]], Bernhard Gramlich<br />
|publication=[[Bibtex:SG09|VMTL - A Modular Termination Laboratory]]<br />
}}<br />
<br />
<!-- If you want to add some additional information to the tool page, you can do so after this comment. --></div>Schernhammer