Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] request for literature pointers

Email Gateway (Aug 19 2022 at 17:20):

From: Konrad Slind <konrad.slind@gmail.com>
I made the following claim in a document:

"user errors in formally modelling artifacts and expressing properties are
far more common than errors in the design and implementation
of formal methods tools"

To me this seems uncontroversial, but it would be nice to be able to point
to a paper that backs this up. Off the top of my head, I can't think of any.
Can anybody help?

Thanks,
Konrad.

Last updated: Nov 21 2024 at 12:39 UTC