Anyone know if there is any work being done on specification and verification (akin to Spec# or JML) in Go? I have a particular interest in this topic and a moderately serious search hasn't provided any answers so far. Is something like this even possible?
Add a comment...
4 plus ones
Wait while more posts are being loaded