11 citations · 11 across the 1 of their papers we have counts for
1 paper
Ryan Doenges, Tobias Kappé, John Sarracino +2
We present Leapfrog, a Coq-based framework for verifying equivalence of network protocol parsers. Our approach is based on an automata model of P4 parsers, and an algorithm for sym…