Changes To Experiment: mmmv_silkexec: spec Ideas 01
Not logged in

Changes to "Experiment: mmmv_silkexec: spec Ideas 01" between 2017-05-30 15:13:47 and 2017-05-30 15:22:00

     5      5   <p><br>
     6      6   </p>
     7      7   
     8      8   <h1>General Observations</h1>
     9      9   
    10     10   <p>Due to the fact that applications work as a combination of application
    11     11   specific code and the dependencies of the application, in some cases some code
    12         -is loaded dynamically, at runtime, the &nbsp;proper formal verification task
    13         -gets prohibitively large pretty quickly.&nbsp;</p>
           12  +is loaded dynamically, at runtime, a <b>proper formal verification task gets
           13  +prohibitively large pretty quickly</b>. Even, if formal verification were
           14  +possible, the <b>behavior of software packages can depend on hardware</b>,
           15  +which varies between different users. If hardware is guaranteed to be the same
           16  +for all users, for example, if all users use a specific version of the
           17  +Raspberry Pi, then the fact that <b>compile-time parameters depend on the
           18  +previously installed packages can be countered by installing all packages of
           19  +the package collection in the exact order that they were compiled and tested at
           20  +test server.&nbsp;</b></p>
    14     21   
    15     22   <p><br>
    16     23   </p>
    17     24   
    18     25   <h1>Hardware Related Observations</h1>
    19     26   
    20         -<p>
           27  +<p></p>
    21     28   <ul>
    22     29   <li><br>
    23     30   </li>
    24         -</ul></p>
           31  +</ul>
           32  +
           33  +<p></p>
    25     34   
    26     35   <p><br>
    27     36   </p>
    28     37   
    29     38   <h1>Social Aspects Related Observations</h1>
    30     39   
    31     40   <p><br>