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
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 RTEMS, but will focus on critical
parts of the code, particularly t
