Sökning: "Zeinab Ganjei"

Hittade 1 avhandling innehållade orden Zeinab Ganjei.

1. 1. Parameterized Verification of Synchronized Concurrent Programs

   Författare :Zeinab Ganjei; Ahmed Rezine; Petru Ion Eles; Zebo Peng; Alastair Donaldson; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : There is currently an increasing demand for concurrent programs. Checking the correctness of concurrent programs is a complex task due to the interleavings of processes. Sometimes, violation of the correctness properties in such systems causes human or resource losses; therefore, it is crucial to check the correctness of such systems. LÄS MER