Search for dissertations about: "Rafał Somla"

Found 1 swedish dissertation containing the words Rafał Somla.

2. 1. Logics and Algorithms for Verification of Concurrent Systems

   Author : Rafał Somla; Wang Yi; Michael Reichhardt Hansen; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

   Abstract : In this thesis we investigate how the known framework of automatic formal verification by model checking can be extended in different directions. One extension is to go beyond the common limitation of the existing specification formalisms, that they can describe only regular properties of components. READ MORE