Free uppaal tiga 4.1.0 software for linux

UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).
UPPAAL CORA is a branch of UPPAAL for Cost Optimal Reachability Anslysis developed by the UPPAAL team as part of the VHS and AMETIST projects. Whereas UPPAAL supports model checking of timed automata, UPPAAL CORA uses an extension of timed automata called LPTA. LPTA allows you to annotate the model with the notion of cost.
This can be the cost of delay in certain situations or the cost of particular actions. UPPAAL CORA then finds optimal paths matching goal conditions.
UPPAAL CORA has been used in a number of case studies. Some of these are described on the case study page of this site. If you come up with interesting uses, please contact us. We are interested in hearing what you do!
Due to different internal data structures, UPPAAL CORA currently consists of two different versions:
A version for the simplified case of time optimal reachability analysis.
A version for the full language of LPTA.
Like UPPAAL, UPPAAL CORA is free for non-profit use, e.g. for evaluation, research, and teaching purposes.
Main features:
Robust
- The modeling language of UPPAAL CORA is robust towards changes in the problem modeled. This means that your investment in modeling is not lost when the problem changes, since it is easy to adapt the existing model.
Fast
- Although the technology is rather new, experimental and very different from techniques used in traditional operational research, UPPAAL CORA is competitive in a number of case studies.
Compatible
- The language of UPPAAL CORA is a superset of UPPAAL. Any valid UPPAAL model is also a valid UPPAAL CORA model. This makes it easy and convenient to reuse and adapt your existing models to UPPAAL CORA.
Current
- UPPAAL CORA is based on the latest internal development version of UPPAAL, containing the latest performance and language improvements. It is however an experimental tool and lacks many of the verification features of UPPAAL.
Version restrictions:
UPPAAL CORA with full LPTA support has a number of limitations. These limitations are not fundamental, but are a result of using new internal data structures with a currently limited feature set. Over time, these limitations will be resolved.
- No extrapolation, hence termination is not guaranteed unless you guarantee that either:
- The system is acyclic.
- All clocks are bounded by invariants.
- Simple reachability only:
- No liveness check
- No deadlock check
- Limited use of guiding:
- Support for (cost + remaining) sorting is implemented (best first search)
- Support for heuristic variable is implemented, but the expression cannot refer to the cost variable.
Enhancements:
- This release fixes crash bugs and a memory leak.

CoaSim is a tool for simulating the coalescent process with recombination and geneconversion under various demographic models.
CoaSim effectively constructs the ancestral recombination graph for a given number of individuals and uses this to simulate samples of SNP, micro-satellite, and other haplotypes/genotypes.
The generated sample can afterwards be separated in cases and controls, depending on states of selected individual markers. The tool can accordingly also be used to construct cases and control data sets for association studies.
CoaSim is developed in collaboration between Bioinformatics ApS and Bioinformatics Research Center (BiRC).
CoaSim is written in C++ and Guile Scheme and is available as source code (under the GNU General Public License, GPL) and as binary versions as Linux RPM files. The source code has been successfully compiled on various Linux and UNIX systems, under OS X and under Windows with Cygwin.
As I have only limited access to architectures other than Linux, it is not possible for me to make binary distributions for other platforms, but if anyone is willing to build the distributions I will be more than happy to put them on this site.
Enhancements:
- Callbacks for population structure events (bottlenecks, migration, etc.) have been added.
- A major bug that caused the starting and ending times of epochs to be wrong in some cases (starting too late or never terminating) has been fixed.

jMax project is a visual programming environment for building interactive real-time multimedia and musical applications.

Installation:

The simplest way to compile this package is:

1. `cd to the directory containing the packages source code and type `./configure to configure the package for your system. If youre using `csh on an old version of System V, you might need to type `sh ./configure instead to prevent `csh from trying to execute `configure itself.

Running `configure takes awhile. While running, it prints some messages telling which features it is checking for.

2. Type `make to compile the package.

3. Optionally, type `make check to run any self-tests that come with the package.

4. Type `make install to install the programs and any data files and documentation.

5. You can remove the program binaries and object files from the source code directory by typing `make clean. To also remove the files that `configure created (so you can compile the package for a different kind of computer), type `make distclean. There is also a `make maintainer-clean target, but that is intended mainly for the packages developers. If you use it, you may have to get all sorts of other programs in order to regenerate files that came with the distribution.

IMP is the Internet Messaging Program. It is written in PHP and provides webmail access to IMAP and POP3 accounts.
There are currently three branches of IMP. IMP 4.0 is the current production version of the stable branch. It requires PHP 4.3.0 and version 3.x of the Horde framework. IMP project adds new features like crypting support, flexible charset handling, virtual folders for saved searches, a WYSIWYG editor for creating HTML messages, improved MIME message handling, and many more.
IMP 3.2.7 is the current production version of the previous stable branch. It requires PHP 4.1.0 and version 2.0 of the Horde framework. It adds advanced features such as searching multiple mailboxes, identities, and a hierarchical mailbox navigator, as well as a cleaner, redesigned user interface. As with IMP 2.2 before it, it passes the "MIME Torture Test" that UW makes available.
IMP 2.2 is the previous stable branch, now obsolete. It used PHPLIB for session management, and worked with both PHP3 and PHP4. Version 2.2 is no longer actively developed; please see the IMP 2.2 page for more details on known security problems in the last version released. The Horde Project strongly urges sites still running IMP 2.2 to upgrade to 3.x as soon as possible.
Enhancements:
- A server configuration option to limit the number of login attempts has been added.
- A link to view attached S/MIME key details has been added.
- Escaping of folder names has been fixed.
- Catalan, German, and Slovenian translations have been updated.
- Several small bugfixes and improvements have been made.

Xfprot project is a graphical frontend to the F-Prot Antivirus for Linux Small Business Edition 3.12b/c/d, 3.13, 4.1.0, 4.2.0, 4.3.0 and 4.3.1 by Frisk Software International (www.frisk.is) which is free of charge for personal use.

Xfprot up to and including version 0.19beta was based upon the XSTEP-3.5.1 library 1996-2001 by Marcelo Samsoniuk and collaborators and released under the LGPL license.

Starting from version 0.20beta XFPROT is based upon Gtk+ 1.2 libraries. From version 1.0-rc2 it is also possible to use the Gtk+ 2.2 libraries.

Xfprot is tested only on Linux (Mandrake 9.0 ,9.1, 9.2, 10.0) but probably should compile and work also on other distributions, on some *BSDs and on other Unixes.

IMP H3 is the Internet Messaging Program, allows Web-based access to IMAP and POP3 mail servers and provides a range of features normally found only in desktop email clients.

There are several current branches of IMP. IMP 4.1.x is the current production version of the stable branch. It requires PHP 4.3.0 and version 3.x of the Horde framework. It adds new features like crypting support, flexible charset handling, virtual folders for saved searches, a WYSIWYG editor for creating HTML messages, improved MIME message handling, and many more.

IMP 3.2.8 is the latest production version of the previous stable branch. It requires PHP 4.1.0 and version 2.0 of the Horde framework. It adds advanced features such as searching multiple mailboxes, identities, and a hierarchical mailbox navigator, as well as a cleaner, redesigned user interface. As with IMP 2.2 before it, it passes the "MIME Torture Test" that UW makes available.

DBG is a a full-featured php debugger, an interactive tool that helps you debugging php scripts.
It works on a production and/or development WEB server and allows you debug your scripts locally or remotely, from an IDE or console.
Main features:
- native debugger. Works transparently, neither script nor PHP engine modifications required.
- server part (dbg module) runs on all platforms where PHP itself runs.
- works transparently across the global network as well as locally.
- JIT. When enabled can start debugging Just In Time of error occurs.
- supports back-tracking, e.g. displays a list of all procedures with their local variables, the current execution position reached from. Also you can watch local variables or function parameters in all active and nested scopes.
- certainly, you can execute script in the debugger step by step (step-in, step-out, step-over...), evaluate any valid php expressions or complex variables, modify values of any variables on the fly and create any new ones. Breakpoints can be conditional, they also may skip entered number of hits.
- has embedded profiler, so now its easy to find out a bottleneck in the scripts.
- allows multiple debugger processes running simultaneously.
- compatible with php-4.0.6 and higher.
- has open COM interfaces for integration with win32-based 3rd party IDEs.
- Commercial version of DBG (2.16.x) is available with commercial version of PHPEd PHP IDE only, see review for details.
- Linux, BSD, SunOs, MacOs and Win32 platoforms are supported.
- Free version (2.11.x) is available on this site. It works with PHP Edit, PHP Coder and some other IDEs.
- Free dbg front-end (dbg-cli) for Linux/Unix can be used to debug scripts either directly or under DDD 3.3.9 (GNU debugger). Also see RedHat 7.3, YellowDog and Mandrake distributions at RPM Find site.
Enhancements:
- All php versions from 4.0.6 up to 4.3.10 and from 5.0.0 up to 5.0.3 are supported.
- Support for HARDENED php v0.2.6 added (4.3.9h, 4.3.10h and 5.0.3h).
- Command line interface (dbg-cli) improved.
- Tested with php 4.0.6, 4.1.0-4.1.2, 4.2.0-4.2.3, 4.3.0-4.3.10, 5.0.0-5.0.3.