3 citations · 6 across the 17 of their papers we have counts for
1 paper · 2 filters
Bernd Finkbeiner, Felix Klein, Ruzica Piskac +1
Functional languages have provided major benefits to the verification community. Although features such as purity, a strong type system, and computational abstractions can help gui…