Sökning: "Rafał Somla"

Hittade 1 avhandling innehållade orden Rafał Somla.

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

   Författare :Rafał Somla; Wang Yi; Michael Reichhardt Hansen; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

   Sammanfattning : 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. LÄS MER