Back to Software home


Software list

Software starting with "p"

Alphabetical listing of software starting with the letter "p"

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: