Norwegian version of this page

Reliable systems (PSY)

Group (not all members present)

The research group works with the following topics:

  • open distributed systems
  • object-oriented and functional languages
  • frmeworks and languages for specification and modeling
  • specification, modelling, refinement and verification
  • security and vulnerability
  • logic and automated deduction

The group 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.

The group's name previously was PMA (precise modeling and analysis) see also the old PMA pages.

Tags: Creol, formal methods, verification, specification, rewriting logic, computer science, semantics, distributed systems, concurrency, validation, object-orientation, cloud computing, multicore. software engineering, security, rewriting logic
Published Nov. 9, 2010 10:47 AM - Last modified May 31, 2018 9:42 AM