3 citations · 6 across the 8 of their papers we have counts for
1 paper · 1 filter
Philipp Czerner, Javier Esparza, Konrad Winslow
We present iSMC, the first self-certifying model checker with interactive certification, a certification paradigm based on the theory of interactive proof systems. iSMC is a symbol…