13 citations · 13 across the 1 of their papers we have counts for
1 paper
Julian Tschannen, Carlo A. Furia, Martin Nordio +1
Static program verifiers such as Spec#, Dafny, jStar, and VeriFast define the state of the art in automated functional verification techniques. The next open challenges are to make…