7 citations · 26 across the 7 of their papers we have counts for
1 paper · 2 filters
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…