> On 25/11/2022 07:46, Sebastian Huber
> wrote:
>> On 24/11/2022 14:41, andrew.butterfi...@scss.tcd.ie wrote:
>>> On 16/11/2022 16:44, Gedare Bloom wrote:
>>>Section 9.7 "RTEMS Formal Model Guide" seems like it includes both
>>>some aspects of a How-To but also a lot of details that
Hi Sebastian,
I will do that - so I expect to have two new separate patch sets.
I have already checked a lot of it for license/copyright stuff, but I'll
double-check this.
The first will add a `formal` folder to rtems-central, as you specified.
The second will add a revised version of the FV
On Fri, Nov 25, 2022 at 12:45 AM Sebastian Huber
wrote:
>
> On 24/11/2022 14:41, andrew.butterfi...@scss.tcd.ie wrote:
> >
> > Section 9.7 "RTEMS Formal Model Guide" seems like it includes both
> > some aspects of a How-To but also a lot of details that might be
> > better as a
On 16/11/2022 17:44, Gedare Bloom wrote:
I guess I was overly optimistic last night. The note on the front
matter should be resolved before we push the full documentation. I
guess it's a bit of chicken-and-egg but the documentation should be
pushed concurrent with the software that it documents.
On 24/11/2022 14:41, andrew.butterfi...@scss.tcd.ie wrote:
Section 9.7 "RTEMS Formal Model Guide" seems like it includes both
some aspects of a How-To but also a lot of details that might be
better as a separate document specific to the Promela/Verification
detailed
oom mailto:ged...@rtems.org>>
Date: Wednesday 16 November 2022 at 02:00
To: Chris Johns mailto:chr...@rtems.org>>
Cc: "andrew.butterfi...@scss.tcd.ie<mailto:andrew.butterfi...@scss.tcd.ie>"
mailto:andrew.butterfi...@scss.tcd.ie>>,
"rtems-de...@rtems.org<mailto
-
>
>
> -Original Message-
> From: Gedare Bloom
> Date: Wednesday 16 November 2022 at 02:00
> To: Chris Johns
> Cc: "andrew.butterfi...@scss.tcd.ie" ,
> "rtems-de...@rtems.org"
> Subject: Re: Add Formal Verificat
Date: Wednesday 16 November 2022 at 02:00
To: Chris Johns
Cc: "andrew.butterfi...@scss.tcd.ie" ,
"rtems-de...@rtems.org"
Subject: Re: Add Formal Verification chapter v2
I plan to look at this tomorrow and will plan to push it as-is. I will
push any modifications I think
I plan to look at this tomorrow and will plan to push it as-is. I will
push any modifications I think should be made, or send notes back
here, after I look through it very carefully.
On Wed, Nov 9, 2022 at 5:39 PM Chris Johns wrote:
>
> On 9/11/2022 9:48 pm, andrew.butterfi...@scss.tcd.ie wrote:
On 9/11/2022 9:48 pm, andrew.butterfi...@scss.tcd.ie wrote:
ping
(my fault really, i've let this sit!)
Thank you for raising this and I am sorry we have not been as proactive
as we should be.
But I have been busy, interacting with a group doing a follow-up IV project
with the
Dear RTEMS Developers,
The inlined patch file below adds a new Formal Verification chapter as
discussed in the previous email thread
regarding "Integrating the Formal Methods part of Qualification"
(see https://lists.rtems.org/pipermail/devel/2022-July/072167.html ).
This is just the
11 matches
Mail list logo
