[SystemSafety] A realistic view of formal verification

[Martyn Thomas]

Derek

Which researchers disagree with the statement you quote?

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