Update of "Experiment: mmmv_silkexec: spec Ideas 01"
Not logged in
Overview

Artifact ID: 41db193ed13dc30fc6276d32e17922003524cfa8
Page Name:Experiment: mmmv_silkexec: spec Ideas 01
Date: 2017-05-30 15:13:47
Original User: martin_vahi
Parent: 0fdd3a79e0b283b61570f32d9350466fb642b530 (diff)
Next 7b453ae2f53fce55ab0bf5477771664fbb685829
Content

This page is for a semi-random collection of ideas, how to improve/change/create the specification of the mmmv_silkexec.


General Observations

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. 


Hardware Related Observations


Social Aspects Related Observations