Commercial

Companies for which safety critical systems are an issue are involved in using formal methods for system specification & design this includes research and development in this field.

Formal Specification & Verification

Performance Modelling

Distributed & Functional Systems