Academic

Universities and Colleges throughout the world are doing research in this field and are providing courses to teach areas like formal methods in system specification & design.

Formal Specification & Verification

Performance Modelling

Distributed & Functional Systems