Hi Joel,
some quick (off the cuff) responses to your Qs:
>
> Assuming formal verification benefits from modular decomposition like software
> construction and admitting I don't know how you plan to go about this, I would
> tend to look at the APIs of interest and then look at what score
> objec
On Wed, Aug 28, 2019 at 12:50 AM Sebastian Huber
wrote:
>
> Hello Andrew,
>
> On 27/08/2019 16:58, Andrew Butterfield wrote:
> > Dear RTEMS developers, qualifiers,
> >
> > I am involved with the ESA funded RTEMS (SMP) qualification activity,
> > and I, with colleagues, will be exploring how form
Hello Andrew,
On 27/08/2019 16:58, Andrew Butterfield wrote:
Dear RTEMS developers, qualifiers,
I am involved with the ESA funded RTEMS (SMP) qualification activity,
and I, with colleagues, will be exploring how formal verification techniques
can help.
We will not "formally prove" all of RTE
