Sökning: "Vladislavs Jahundovics"

Hittade 1 avhandling innehållade orden Vladislavs Jahundovics.

1. 1. Automatic Verification of Parameterized Systems by Over-Approximation

   Författare :Vladislavs Jahundovics; Ulf Nilsson; Cristina Seceleanu; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : This thesis presents a completely automatic verification framework to check safety properties of parameterized systems. A parameterized system is a family of finite state systems where every system consists of a finite number of processes running in parallel the same algorithm. LÄS MER