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 proper formal verification task
gets prohibitively large pretty quickly. </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