This team will develop 3D models from micro-scale through to macroscale as the project develops. These models will be refined based on growth rate data.
We will verify that our computational models satisfy formal specifications of correct (desired) behaviour. In other words, we aim at making sure that we built our models right. Therefore, the Verification phase is a precondition for the Validation phase, and we will work closely with the Pilot Plant and Validation Team. In particular, we will use temporal logic to code in a formal way desired (or hypothesised) behaviours, which we will then check against our models at all scales, including the statistical emulator.