blob: c222f0d3db7142d4095c86585e0d8065d8b787ae (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
\chapter{VEIN}
\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}
|
