Why Doctors Reject Tools That Make Their Jobs Easier

Re:Why Doctors Reject Tools That Make Their Jobs Easier by YorkshireSeason on Tuesday October 16, 2018 @07:33AM (#18228430)

   Coq but with the ease of 
   Java or Typescript

Don't hold your breath. There is currently no technology on the horizon that holds a promise to bring use even close to what you ask for.

Note also that Coq/Isabelle/Agda and their successors will still suffer from a variant of the oracle problem: where should the specifications come from?

Finally note that almost virtually aviation software is formally verified in with interactive theorem proving as of 2018. The extreme levels of reliability in this space have always been achieved with other software engineering methods, including rigorous testing.

[ Parent | on HN ]

Re:Why Doctors Reject Tools That Make Their Jobs Easier by zdragnar on Tuesday October 16, 2018 @11:49AM (#18230306)

I was thinking more of that would be (a or the) barrier to rapid iteration in medical software, not that it is likely to be achievable. Given the rigorous testing required in its place, we don't get web dev agile style iteration in medical software.

[ Parent | on HN ]