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