Search for dissertations about: "Doron Peled"
Found 1 swedish dissertation containing the words Doron Peled.
-
1. Algorithmic Verification of Procedural Programs in the Presence of Code Variability
Abstract : 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. READ MORE
Result pages:
1