Nettsider med emneord «rewriting logic»

Publisert 30. juli 2019 16:42

This gathers various interesting topics which require a more mathematical mind and are usually more challenging. Such topics deal with fundamental aspects of computer science, like logics, semantic models, algorithms, process algebras. Here the student can choose various topics to focus on, depending on the interest, which we find out together through discussions.

One can do various kinds of MSc theses, starting from contributing with programming a simple module for some existing formal tool, like model checker, or a literature study, or doing modelling of real-life systems, or develop a concurrent programming/modelling language, or doing mathematical work on the logical or theoretical foundations.

Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.

Publisert 12. nov. 2014 15:08

Antonio Gonzalez Burgueno is a new PhD student in the ConSeRNS group.

His talk will introduce the well-known tool Maude-NPA and how it can be used to model security protocols. (See Abstrat in the long description.)

Publisert 11. feb. 2011 09:51

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

Publisert 9. nov. 2010 10:47