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 31.587.991 Times

AProVE 7

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

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
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  -  Stellar Volume Repair 3.0
Stellar Phoenix Volume Repair tool can repair corrupt and damaged Mac hard drives with ease. The software has been designed to rebuild the damaged directory structure and replaces the damaged one with the repaired directory. When the directory of...
15.63 MB  
Macintosh Software  -  ManyCam for Mac 6
ManyCam is a free Webcam software and a screen recorder for anyone to use. Several feature enhancements are included within ManyCam to produce a professional quality live video production. It can connect a desktop, smartphone, tablet and live...
90.49 MB  
Macintosh Software  -  Cisdem Data Recovery for Mac 4.2.3
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 supported data...
6.4 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  
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