@scathach @sun one of my research interests is in making formal verification easier... ig I'm more specifically interested in distributed systems but the single machine case is also extremely hard rn. Dafny is a cool language but it's pretty hard to use for most.