Artifact Content
Not logged in

Artifact 41db193ed13dc30fc6276d32e17922003524cfa8:

Wiki page [Experiment: mmmv_silkexec: spec Ideas 01] by martin_vahi on 2017-05-30 15:13:47.
D 2017-05-30T15:13:47.085
L Experiment:\smmmv_silkexec:\sspec\sIdeas\s01
P 0fdd3a79e0b283b61570f32d9350466fb642b530
U martin_vahi
W 712
<p>This page is for a semi-random collection of ideas, how to
improve/change/create the specification of the
<a href="./wiki?name=Experiment:+mmmv_silkexec">mmmv_silkexec</a>.</p>

<p><br>
</p>

<h1>General Observations</h1>

<p>Due to the fact that applications work as a combination of application
specific code and the dependencies of the application, in some cases some code
is loaded dynamically, at runtime, the &nbsp;proper formal verification task
gets prohibitively large pretty quickly.&nbsp;</p>

<p><br>
</p>

<h1>Hardware Related Observations</h1>

<p>
<ul>
<li><br>
</li>
</ul></p>

<p><br>
</p>

<h1>Social Aspects Related Observations</h1>

<p><br>
</p>

<p><br>
</p>

<p><br>
</p>

<p><br>
</p>

Z a7ff690f5533dd0fa4450343ae522f0c