Search results

• Tools:VeriFun
  ...Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]
  2 KB (267 words) - 00:09, 8 August 2017
• Outermost
  * AProVE-team
  4 KB (635 words) - 17:27, 25 November 2008
• Logic Programming
  * [[Tools:AProVE]]
  3 KB (542 words) - 04:56, 19 November 2020
• Java Bytecode
  [[Tools:AProVE|AProVE]] took part in the JBC categories.
  8 KB (1,219 words) - 11:21, 31 January 2013
• Termination Competition
  At the "tool demonstration" in 2003, participating provers (including AProVe, Torpa, Matchbox) ...revious competitions, static backups of the results are available [https://aprove-developers.github.io/termcomp_results/ here].
  7 KB (913 words) - 09:55, 10 May 2024
• C Integer Programs
  * Project: AProVE
  5 KB (822 words) - 17:36, 6 July 2015
• Termination Competition 2015
  ...lri.fr/pipermail/termtools/2015-August/001075.html Technical Problems with AProVE (C Category)]
  9 KB (1,240 words) - 11:55, 6 August 2015
• 19th International Workshop on Termination
  '''AProVE 2023'''
  11 KB (1,420 words) - 17:02, 17 August 2023

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)