The research group works on methodology for reliable systems, including topics such as formal models and associated analysis techniques, knowledge representation, self-adaptive systems, digital twins, programming language theory, and distributed systems.

The group, previously called Precise Modeling and Analysis (PMA), was initiated by professor Ole-Johan Dahl (1931–2002).

The group initiated and hosted the honorary doctorate of Donald Knuth, awarded 2002.

For a collection of publications, see the Cristin data base, a central register for research results in Norway.