[SystemSafety] A realistic view of formal verification

[Derek M Jones]

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