Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.643.422 Times

AProVE 7

Company: AProVE Team
Date Added: August 05, 2013  |  Visits: 145

AProVE

Report Broken Link
Printer Friendly Version


Product Homepage
Download (16 downloads)



Moreover, AProVE also handles several other formalisms, e.g., logic programs (Prolog), functional programs (Haskell 98), conditional TRSs, TRSs modulo AC, context-sensitive TRSs, etc. The power of AProVE is demonstrated in the annual International Competition of Termination Tools, where AProVE was the most powerful tool for termination of TRSs in 2004, 2005, 2006, 2007, 2008, and 2009.<br /><br />AProVE is based on the dependency pair framework and offers a wide variety of different termination proof techniques. These techniques can be freely configured and combined by the user via a graphical user interface. Moreover, AProVE also offers a "fully automatic" mode where suitable termination techniques are applied in a certain fixed order that often turns out to be successful in practice.

Requirements: No special requirements
Platforms: Mac, Mac OSX
Keyword: Aprove Combined Configured Freely Graphical Offers Practice Programs Proof Quotfully Successful Techniques Termination Turns Variety
Users rating: 0/10

License: Shareware Size: 13.14 MB
USER REVIEWS
More Reviews or Write Review


APROVE RELATED
Mathematics  -  CLC Sequence Viewer for Mac OS 6.1
Creates a software environment enabling users to make basic bioinformatics analyses and smooth data management, combined with excellent graphical viewing and output options. Some bioinformatics features are: - GenBank searching and viewing...
30.4 MB  
Board Games  -  GoGui 1.4.3
Graphical interface to programs that play the game of Go and use the Go Text Protocol (GTP), such as GNU Go. GoGui has special features that are useful for Go program developers.
5.53 MB  
Programming  -  Scipad b
Scipad is a powerful editor and graphical debugger for programs written in the Scilab language. It is a mature and highly configurable editor, almost entirely written in Tcl/Tk. Scipad is a free software running on Linux and Windows. Licence is...
909.48 KB  
Graphics Editors  -  Flowchart Maker 8
Flowchart Maker is a cross-platform flowchart design program which is compatible with Mac OS X, Windows and Linux systems. It offers a drag-and-drop interface and a large variety of built-in symbols for flowchart, data flow diagram. Top 10 Reasons...
57.61 MB  
Project Management  -  Easy Time Logs Free 5.0.49.2
Easy Time Logs is a time tracking, timesheet, and project management software product. Use Easy Time Logs for your or your employees' timesheets, time tracking, and project management. Easy Time Logs offers a web-based interface with timesheets...
29.75 MB  
Project Management  -  Easy Time Logs Pro 5.4.57.1
Easy Time Logs is a time tracking, timesheet, and project management software product. Use Easy Time Logs for your or your employees' timesheets, time tracking, and project management. Easy Time Logs offers a web-based interface with timesheets...
29.85 MB  
Project Management  -  Easy Time Logs Express 5.4.57.1
Easy Time Logs is a time tracking, timesheet, and project management software product. Use Easy Time Logs for your or your employees' timesheets, time tracking, and project management. Easy Time Logs offers a web-based interface with timesheets...
29.85 MB  
Modules  -  iPhone Pages 5.x-1.x-dev 1.0
This module offers just a proof of concept starting point for other developers.InstallationUnpack in your modules folder (usually /sites/all/modules/) and enable under Administer > Site Building > Modules. Requirements: - Drupal 5.x
 
Games  -  Bang Bang SFX 1.0
A simple "target practice" game, Bang Bang SFX generates a wide variety of explosion sounds. So many mobile games ship with only a few simple sound effects that are played over and over and over again during gameplay. The soundtracks...
5.7 MB  
Education  -  Non_jupas 1.0.0.0
This is an informational application for all the Non-Jupas applicants of the local community colleges.You can find useful information about local university offers,interviews and all the successful applicants' records in the past.On the other...
11 MB  
NEW DOWNLOADS IN MACINTOSH SOFTWARE, PROGRAMMING
Macintosh Software  -  Cisdem Data Recovery for Mac 4.1.0
Using advanced scanning technology and directory restructuring algorithm, Cisdem Data Recovery for Mac can help you to recover lost valuable data, documents, emails, videos, music, photos, and lost partitions from any Mac...
6.6 MB  
Macintosh Software  -  iDoctor 2.0
iDoctor equips Mac users with 15 cleaning and optimization tools to make their working on Mac easy and simply. With iDoctor’s help you can also manage, encrypt, backup, recover or shred files with just a couple of mouse clicks. Thus,...
98 KB  
Macintosh Software  -  AnyMP4 Free iPhone Data Recovery for Mac 7.3.18
AnyMP4 Free iPhone Data Recovery for Mac can allow you to recover deleted files from iPhone/iPad/iPod like Camera Roll, Notes, Reminders, Voice Memos, and Safari Bookmark on Mac. You can directly recover deleted data from iOS Device like...
24.4 MB  
Macintosh Software  -  AnyMP4 DVD Ripper for Mac 6.3.16
AnyMP4 DVD Ripper for Mac not only help you rip DVD movies to any video formats like MP4, MOV, M4V, AVI, WMV, FLV, MKV, MPEG and more for Mac, but also rip DVD to other audio formats such as MP3, FLAC, WAV, WMA, AAC, ALAC, AC3 and more for Mac....
43.8 MB  
Macintosh Software  -  AnyMP4 Blu-ray Ripper for Mac 6.1.86
AnyMP4 Blu-ray Ripper for Mac aims to help you handily rip Blu-ray movie to any popular video or audio format for your portable device and even 3D player device. It can work as Blu-ray copy software to back up your Blu-ray disc/file to Mac. It...
44.6 MB  
Programming  -  MacX Free iMovie Video Converter 4.1.8
MacX Free iMovie Video Converter is a professional free iMovie video converter for Mac that can convert any SD and HD videos such as M2TS, MKV, AVI, WMV, FLV, VOB, 3GP and more to iMovie accepted video formats MOV & MP4 for importing to iMovie...
22.92 MB  
Programming  -  TclAppleScript 2.0 Beta
The AppleScript command dates back to the days of the Classic MacOS, and was originally designed as a stopgap command to fill the place of "exec" on the old Classic MacOS. Much of its original code and commands are now obsolete, and its public API...
276.48 KB  
Programming  -  SwapList 0.1 Alpha
Java list implementation that swaps list items to a disk file in order to avoid out-of-memory error.
10.24 KB  
Programming  -  Custom Console 2.5
Write Your own Language or Batch Based Executable Programs in Java Runtime Environment. Use Custom JAR files as Command Line commands with this custom command line console program. Simply write your JAR files to accept Main String Arguments and...
286.72 KB  
Programming  -  Mano 1.05 Beta
Mano is a makeFile navigator containing a tree grouping the targets.
20.48 KB