Nettsider med emneord «Formal methods»

The Reliable Systems group PSY (formerly PMA) teaches the following courses:

The presentation by Daniel Fava at the Doctoral Symposium of the 13th International  integrated Formal Methods (iFM 2017) won the award for  the symposium's best presentation (shared with a second winner). The presentation covers joint work with Martin Steffen, Volker Stolz, and Stian Valle, about   ``An Operational Semantics for a Weak Memory Model with Buffered Writes, Message Passing, and Goroutines''.

The Department of Informatics organizes and hosts the  30th Nordic Workshop on Programming Theory (NWPT'18), 24-26 October 2018. Submission deadline 1.September,.

See the conference's  webpage http://nwpt2018.ifi.uio.no/ for further information

SEFM 2019 will be held at the Science Park (``forskningsparken''), a centre neighbouring the Institute of Computer Science, University of Oslo.

Runtime verification uses techniques from formal methods such as temporal logics and regular expressions to monitor software execution. In this thesis, we investigate new possibilities to combine this technique with formal specifications of correctness and performance properties.