6 citations · 6 across the 1 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…