20 citations · 20 across the 1 of their papers we have counts for
1 paper
Nicolas Dilley, Julien Lange
This paper describes a static verification framework for the message-passing fragment of the Go programming language. Our framework extracts models that over-approximate the messag…