The oil & gas industry is full of complex systems. These systems are technical, such as cloud systems, or organizational, like maintenance programs.
Complex systems are usually very difficult to understand and analyse because they are characterised by many interdependent tasks or activities happening at the same time. In the oil and gas domain, we can observe such systems in e.g., diverse and interdependent industrial and geological processes and in supporting technologies such e.g., software applications, big networks of heterogeneous robots and sensors and parallel super computers accessing data. For some of these systems it is useful to capture such behaviours and interactions in order to find errors, redesign, extend, and improve them, while for others a much clearer picture of such behaviours and interactions can facilitate other kinds of analysis. One way to understand and analyse such systems is by using formal methods. Formal methods are mathematical based techniques to abstractly represent or model the behaviour and interaction of systems. This program develops and applies techniques that support the representation and analysis of correct behaviours and interactions of complex systems, together with analysis related to time-dependent systems, resource management, constraint solving, optimisation and prediction.