Search results
From Termination-Portal.org
Jump to navigationJump to search
Page title matches
- ...e postprecessing after everything has been run (e.g., remove some outdated tools which should not have been run at all). Categories are run sequentially.1 KB (147 words) - 14:59, 12 December 2011
Page text matches
- | [[Tools:CaT]] | [[Tools:CaT]], [[Tools:TCT]]1 KB (169 words) - 07:58, 29 March 2010
- | [[Tools:CaT]] | [[Tools:CaT]], [[Tools:TCT]]2 KB (231 words) - 11:59, 8 June 2012
- ...y little effort and encourage developers of both provers and certification tools to consider these and other forms of non-standard termination problems. == Tools interested in participating ==718 bytes (98 words) - 10:46, 24 April 2009
- |text= [[Tools:A3PAT]], [[Tools:CeTA]], and [[Tools:CoLoR]] have agreed upon a common [http://cl-informatik.uibk.ac.at/softwar683 bytes (101 words) - 13:48, 7 October 2009
- the tools [[Tools:AProVE|AProVE]] and [[Tools:Jambox|Jambox]] in the versions that participated in the1 KB (191 words) - 14:52, 18 May 2009
- ...een installed to facilitate discussion about [[:Category:Tools|termination tools]] in general and the [[Termination Competition|termination competition]] in586 bytes (82 words) - 21:38, 11 November 2020
- For these tools to be used in the certification of critical systems and proof assistants, t * [[Tools:CoLoR|the CoLoR project]]1,005 bytes (141 words) - 09:57, 29 September 2009
- ...e postprecessing after everything has been run (e.g., remove some outdated tools which should not have been run at all). Categories are run sequentially.1 KB (147 words) - 14:59, 12 December 2011
- ...blems|results) that are (solved|certified) by all the tools in some set of tools? ...component allowing users to create custom experiments comparing different tools on a custom selection of termination problems. the document linked below ou3 KB (438 words) - 15:29, 1 April 2009
- [[:Category:Tools|Tools]] (information about tools for automated termination analysis), and2 KB (227 words) - 13:37, 16 January 2024
- .../wiki/Termination_Competition) under "Category:categories" (like "Category:Tools") and add an entry to the navigation panel in the lhs.452 bytes (62 words) - 11:36, 30 December 2009
- ...competition are run in parallel to the tools which do not generate CPFs. (Tools may register several times for the same category: uncertified, and CPF-gene * Termination tools should provide a script which gets as only arguments the name of the TRS-fi3 KB (514 words) - 07:30, 3 August 2017
- | [[Tools:Matchbox]] | [[Tools:TCT]]6 KB (809 words) - 11:01, 28 June 2012
- Q: What is meant by "research group"? I would write "team developing tools" here and weaken "sends one member" to "may send one of its members". ...e help of other steering members, initiates PR activities to attract more tools.3 KB (412 words) - 10:21, 12 November 2008
- ...ove points and computed information (like date of submission, solved by xx tools, ...) ...uotas for experiments? Accessing non-approved examples? Using non-approved tools? Mainly Innsbruck is in charge and makes rules public2 KB (305 words) - 13:38, 2 June 2008
- ...tionals. Clearly, this is a severe restriction in the configuration of the tools. The consequences are however not always severe: ...certified tools already achieve over 62 % of the score of the uncertified tools. Some examples could not be handled at all (the main missing techniques see4 KB (699 words) - 04:07, 29 June 2012
- == Tools ==4 KB (504 words) - 02:08, 18 June 2020
- handled in very different ways by the individual tools (leading to potentially * [[Tools:AProVE]]3 KB (542 words) - 04:56, 19 November 2020
- * call for tools, certifiers, problems: May 26 * registration of tools: June 156 KB (942 words) - 13:45, 11 October 2015
- * Termination tools that can produce output in the new format and that participate in the certi867 bytes (126 words) - 14:40, 21 December 2009
