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

Changes to "Experiment: mmmv_silkexec: spec Ideas 01" between 2017-05-30 14:50:31 and 2017-05-30 15:13:47

     1      1   <p>This page is for a semi-random collection of ideas, how to
     2         -improve/change/create the specification of the mmmv_silkexec.</p>
            2  +improve/change/create the specification of the
            3  +<a href="./wiki?name=Experiment:+mmmv_silkexec">mmmv_silkexec</a>.</p>
            4  +
            5  +<p><br>
            6  +</p>
            7  +
            8  +<h1>General Observations</h1>
            9  +
           10  +<p>Due to the fact that applications work as a combination of application
           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>
     3     14   
     4     15   <p><br>
     5     16   </p>
     6     17   
     7     18   <h1>Hardware Related Observations</h1>
     8     19   
     9         -<p><br>
    10         -</p>
           20  +<p>
           21  +<ul>
           22  +<li><br>
           23  +</li>
           24  +</ul></p>
    11     25   
    12     26   <p><br>
    13     27   </p>
    14     28   
    15     29   <h1>Social Aspects Related Observations</h1>
    16     30   
    17     31   <p><br>