A simple Java web application.

Source for https://vtss.doc.ic.ac.uk/, Program Specification & Verification Group webpages

Archive of group publications. This repository is used by various group webpage repositories.

The Modal Interval Calculator (MIC) is a Matlab toolbox that allows performing efficient interval computations using Modal Intervals.

An Efficient Implementation of the Set Inversion via Interval Analysis (SIVIA) Algorithm in Matlab