Sökning: "Doron Peled"

Hittade 1 avhandling innehållade orden Doron Peled.

1. 1. Algorithmic Verification of Procedural Programs in the Presence of Code Variability

   Författare :Siavash Soleimanifard; Dilian Gurov; Doron Peled; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : This thesis addresses the formal verification of temporal properties of procedural programs that are dynamically or statically configured by replacing, adapting, or adding new components. Dealing with such variable programs is challenging because a part of the program is either not available at verification time or changes frequently. LÄS MER