blob: 96cd0f11d7802417b11d514bfe1ed6868c7978a5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
\chapter{VEIN: VErification via Interaction Nets}
\label{ch:core}
This chapter contains details on framework implementation (\textbf{\Cref{sec:implementation}}), the
proof of soundness of the pipeline (\textbf{\Cref{sec:soundness-proof}}), and a collection of data
gathered from benchmarks (\textbf{\Cref{sec:benchmarks}}).
\input{chapters/core/01-implementation}
\input{chapters/core/02-soundness-proof}
\input{chapters/core/03-benchmarks}
|
