blob: f9a4cabeeff6c1fab584be1626fbeab311d68743 (
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}
|
