Back to Software home

Software list

Software starting with "p"

Alphabetical listing of software starting with the letter "p"


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: