[P4] Fwd: Re: Vera source code

[Sándor Laki]

A Vera kód. af4?



-------- Továbbított üzenet --------
Tárgy: 	Re: Vera source code
Dátum: 	Fri, 5 Apr 2019 10:40:32 +0300
Feladó: 	Dragos Dumitrescu <dragos.dumitrescu92 at gmail.com>
Címzett: 	Sándor Laki <lakis at elte.hu>
CC: 	Costin Raiciu <costin.raiciu at gmail.com>, Tejfel Máté 
<matej at caesar.elte.hu>



Hi Sandor,
Thank you for your interest in Vera and sorry for the late reply
You can download a snapshot of Vera here [1]
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.

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
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

Best,
Dragos

[1] - http://nets.cs.pub.ro/~costin/files/symnet-vera-master.zip

On Thu, Apr 4, 2019 at 3:34 PM Sándor Laki <lakis at elte.hu 
<mailto:lakis at elte.hu>> wrote:

    Hi Costin,

    Do you have any news on the availibility of Vera?

    Many thanks in advance,
    Sandor

    2019.02.19. 14:46 keltezéssel, Costin Raiciu írta:
     > Hi Sandor,
     >
     > Until now, we’ve simply sent a tarsal to people asking for Vera,
    but that was a difficult to setup and use.
     >
     > 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.
     >
     > We’ll email you once this is out.
     >
     > best.
     > Costin
     >
     >
     >> On 14 Feb 2019, at 16:08, Sándor Laki <lakis at elte.hu
    <mailto:lakis at elte.hu>> wrote:
     >>
     >> Hi Costin,
     >>
     >> 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?
     >>
     >> Best wishes from Hungary,
     >> Sandor
     >>
     >> --
     >> Sándor Laki, PhD
     >> Assistant professor
     >> Department of Information Systems
     >> Eötvös Loránd University
     >> Pázmány Péter stny. 1/C
     >> H-1117, Budapest, Hungary
     >> Room 2.506
     >> Web: http://lakis.web.elte.hu
     >> Phone: +36 1 372 2869 / 8477
     >> Cell: +36 70 374 2646
     >>
     >>
     >> ---
     >> Ezt az e-mailt az Avast víruskereső szoftver átvizsgálta.
     >> https://www.avast.com/antivirus
     >>
    -- 
    Sándor Laki, PhD
    Assistant professor
    Department of Information Systems
    Eötvös Loránd University
    Pázmány Péter stny. 1/C
    H-1117, Budapest, Hungary
    Room 2.506
    Web: http://lakis.web.elte.hu
    Phone: +36 1 372 2869 / 8477
    Cell: +36 70 374 2646


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://plc.inf.elte.hu/pipermail/p4/attachments/20190405/2c623eff/attachment.html>