<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>A Vera kód. af4?<br>
</p>
<div class="moz-forward-container"><br>
<br>
-------- Továbbított üzenet --------
<table class="moz-email-headers-table" cellspacing="0"
cellpadding="0" border="0">
<tbody>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Tárgy: </th>
<td>Re: Vera source code</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Dátum: </th>
<td>Fri, 5 Apr 2019 10:40:32 +0300</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Feladó:
</th>
<td>Dragos Dumitrescu <a class="moz-txt-link-rfc2396E" href="mailto:dragos.dumitrescu92@gmail.com"><dragos.dumitrescu92@gmail.com></a></td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Címzett:
</th>
<td>Sándor Laki <a class="moz-txt-link-rfc2396E" href="mailto:lakis@elte.hu"><lakis@elte.hu></a></td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">CC: </th>
<td>Costin Raiciu <a class="moz-txt-link-rfc2396E" href="mailto:costin.raiciu@gmail.com"><costin.raiciu@gmail.com></a>, Tejfel
Máté <a class="moz-txt-link-rfc2396E" href="mailto:matej@caesar.elte.hu"><matej@caesar.elte.hu></a></td>
</tr>
</tbody>
</table>
<br>
<br>
<div dir="ltr">
<div>Hi Sandor,</div>
<div>Thank you for your interest in Vera and sorry for the late
reply<br>
</div>
<div>You can download a snapshot of Vera here [1]<br>
</div>
<div>Note that the test suites in package
src/test/scala/parser/p4/test should be a good starting point
for running experiments. The README file also contains some
information on running Symnet as well as the internals of
Vera.</div>
<div><br>
</div>
<div>Our latest Vera version is a major re-design with respect
to what's in the paper, with better performance and usability,
but it is still not 100% ready. I'll send you the latest
version as soon as it's all done</div>
<div>Its approach will be based on our new verification tool,
af4. If you want, we can share with you both the af4 paper and
its source code<br>
</div>
<div><br>
</div>
<div>Best,</div>
<div>Dragos<br>
</div>
<div><br>
</div>
<div>[1] - <a shape="rect"
href="http://nets.cs.pub.ro/~costin/files/symnet-vera-master.zip"
id="gmail-m_3155067417192367048gmail-yui_3_16_0_ym19_1_1542103689407_3501"
target="_blank" moz-do-not-send="true">http://nets.cs.pub.ro/~costin/files/symnet-vera-master.zip</a></div>
</div>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Thu, Apr 4, 2019 at 3:34 PM
Sándor Laki <<a href="mailto:lakis@elte.hu"
moz-do-not-send="true">lakis@elte.hu</a>> wrote:<br>
</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi
Costin,<br>
<br>
Do you have any news on the availibility of Vera?<br>
<br>
Many thanks in advance,<br>
Sandor<br>
<br>
2019.02.19. 14:46 keltezéssel, Costin Raiciu írta:<br>
> Hi Sandor,<br>
><br>
> Until now, we’ve simply sent a tarsal to people asking
for Vera, but that was a difficult to setup and use.<br>
><br>
> Dragos Dumitrescu, my student, is working these days to
clean up Vera’s source code and to make it easier to use - we
will make the result public hopefully before the end of this
week.<br>
><br>
> We’ll email you once this is out.<br>
><br>
> best.<br>
> Costin<br>
><br>
><br>
>> On 14 Feb 2019, at 16:08, Sándor Laki <<a
href="mailto:lakis@elte.hu" target="_blank"
moz-do-not-send="true">lakis@elte.hu</a>> wrote:<br>
>><br>
>> Hi Costin,<br>
>><br>
>> I hope everything is fine with you. Some students in
our group are working on verfication of P4 programs. They
would like to check Vera, but do not find the source code. Do
you plan to make it publicly available or would it be possible
to share it with us?<br>
>><br>
>> Best wishes from Hungary,<br>
>> Sandor<br>
>><br>
>> -- <br>
>> Sándor Laki, PhD<br>
>> Assistant professor<br>
>> Department of Information Systems<br>
>> Eötvös Loránd University<br>
>> Pázmány Péter stny. 1/C<br>
>> H-1117, Budapest, Hungary<br>
>> Room 2.506<br>
>> Web: <a href="http://lakis.web.elte.hu"
rel="noreferrer" target="_blank" moz-do-not-send="true">http://lakis.web.elte.hu</a><br>
>> Phone: +36 1 372 2869 / 8477<br>
>> Cell: +36 70 374 2646<br>
>><br>
>><br>
>> ---<br>
>> Ezt az e-mailt az Avast víruskereső szoftver
átvizsgálta.<br>
>> <a href="https://www.avast.com/antivirus"
rel="noreferrer" target="_blank" moz-do-not-send="true">https://www.avast.com/antivirus</a><br>
>><br>
-- <br>
Sándor Laki, PhD<br>
Assistant professor<br>
Department of Information Systems<br>
Eötvös Loránd University<br>
Pázmány Péter stny. 1/C<br>
H-1117, Budapest, Hungary<br>
Room 2.506<br>
Web: <a href="http://lakis.web.elte.hu" rel="noreferrer"
target="_blank" moz-do-not-send="true">http://lakis.web.elte.hu</a><br>
Phone: +36 1 372 2869 / 8477<br>
Cell: +36 70 374 2646<br>
<br>
<br>
</blockquote>
</div>
</div>
<div id="DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2"><br /> <table style="border-top: 1px solid #D3D4DE;">
<tr>
<td style="width: 55px; padding-top: 18px;"><a href="https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient" target="_blank"><img src="https://ipmcdn.avast.com/images/icons/icon-envelope-tick-round-orange-animated-no-repeat-v1.gif" alt="" width="46" height="29" style="width: 46px; height: 29px;" /></a></td>
<td style="width: 470px; padding-top: 17px; color: #41424e; font-size: 13px; font-family: Arial, Helvetica, sans-serif; line-height: 18px;">Mentes a vírusoktól. <a href="https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient" target="_blank" style="color: #4453ea;">www.avast.com</a> </td>
</tr>
</table>
<a href="#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2" width="1" height="1"> </a></div></body>
</html>