[SystemSafety] A realistic view of formal verification

[Derek M Jones]

Martyn,

> Which researchers disagree with the statement you quote?

While researchers might agree with this in private,
a surprising number are loath to say this in public.

Longstanding members of this list will remember
discussion threads with people being unwilling to acknowledge
that claims of correctness are wishful thinking that
ignores problems uncovered in the real world.

> 
> Regards
> 
> Martyn
> 
>> On 7 Dec 2022, at 14:09, Derek M Jones <derek at knosof.co.uk> wrote:
>>
>> All,
>>
>> I was pleased to see that some researchers have a realistic
>> view of formal verification
>> "... as with all formal verification, a possible weak link
>> is the connection between the formal models and the real world"
>> https://arxiv.org/abs/2212.01748
>>
>> -- 
>> Derek M. Jones           Evidence-based software engineering
>> blog:https://shape-of-code.com
>> _______________________________________________
>> The System Safety Mailing List
>> systemsafety at TechFak.Uni-Bielefeld.DE
>> Manage your subscription: https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety
> 

-- 
Derek M. Jones           Evidence-based software engineering
blog:https://shape-of-code.com