Computing systems are becomming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disasterous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behaviour safety critical systems. The research contained here represents the very latest work on the specification and verification of real-time systems.
Read More