Öppna Föreläsningar
CSC - Forskning och framtid

Välkomna till CSC - Forskning och framtid!

CSC - Datavetenskap och kommunikation inbjuder alla intresserade till en serie öppna föreläsningar, där unga forskare berättar om sina vetenskapsområden och tillämpningar.

Docentföreläsning:

Compositional Verifi cation of Interaction Behaviour or:
If I know the Parts, Do I know the Whole?

Dilian Gurov, CSC/Teorigruppen Fredag 16 mars 2007, 15:15-16:00 in room E2, Lindstedtsvägen 3 Länk till föreläsningsposter i pdf (313kb)

Abstract
When designing a system, its correctness is a major concern. A high degree of confi dence in a system is obtained if we can formally establish that its behaviour is correct in some precise mathematical sense.
In this talk I will summarize the main approaches, achievements and own my contributions in the area of proving systems correct. Special emphasis will be given on the interaction behaviour of systems with dynamically changing architecture.