[P4] P4 verification

[Horpácsi Dániel]

Huh, 17500 sor OCaml-ben az elég vaskos kód, ráadásul a tételbizonyítás 
már Z3-ban megy. Nem tegnap kezdték el csinálni a dolgot, az biztos.

Dani


On 2018-08-23 14:47, Sándor Laki wrote:
> Hi,
>
> Az idei SIGCOMMról, még megy a live stream...
>
> * P4V: https://dl.acm.org/authorize?N666968
>
> * ez pedig csak debugging: https://dl.acm.org/authorize?N666960
>
> Üdv.
>
> Sanyi
>