21 citations · 101 across the 20 of their papers we have counts for
1 paper · 1 filter
Lars Hupel, Viktor Kuncak
We present a trustworthy connection between the Leon verification system and the Isabelle proof assistant. Leon is a system for verifying functional Scala programs. It uses a varie…