@jfdm so there is this - which may be all you need for now? https://t.co/pPUtvZKb7U
NASA Formal Methods
Springer International Publishing
@jfdm so there is this - which may be all you need for now? https://t.co/pPUtvZKb7U
@gvwilson @faassen Some descriptions of some of our efforts in that direction (before I left) are here: https://t.co/pPUtvZszJk
@MasoudJasbi I ended up doing something similar in the last course I designed before I burned out and left academia…. https://t.co/pPUtvZKIXs
@ShriramKMurthi @PyretLang Like I said, we just write papers - and I’m no longer at Vic in any case. Pretty much the last thing I did before leaving was teaching on a 3rd year correctness course using Dafny: I doubt even that will continue: https://t.co/p