Back to Software home


Software list

Software for research

The following software is often used by researchers. Most of this software is installed on the High Performance clusters but some programs are also available on other platforms.

PPL

Numerical Abstraction Library

Numerical Abstraction Library - provides numerical abstractions targeted at applications in analysis and verification of complex systems.

Compatible with

Filter software list

Search for software used at Sussex:

Or use these links to filter the list:

List all software

Alphabetical list

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Student computers

PC  Mac  

Staff computers

PC  Mac  Linux

Other systems

Application Jukebox
Windows Remote
Exceed onDemand
High Performance Cluster

Other categories

non-ITS software
for your own computer
research software