Travelled to:1 × Greece
1 × Hungary
1 × Japan
1 × United Kingdom
Collaborated with:J.Signoles N.Kosmatov S.Boulmé P.Cuoq F.Kirchner B.Yakobowski P.Baudin R.Bonichon G.Canet L.Correnson B.Monate A.Puccetti
Talks about:analysi (2) proof (2) frama (2) framework (1) strength (1) perspect (1) industri (1) softwar (1) program (1) context (1)
Person: Virgile Prevosto
DBLP: Prevosto:Virgile
Contributed to:
2013
2012
2009
2005Wrote 4 papers:
- TAP-2013-KosmatovPS #proving #source code #tutorial
- A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper (NK, VP, JS), pp. 168–177.
- SEFM-2012-CuoqKKPSY #analysis #named #perspective
- Frama-C — A Software Analysis Perspective (PC, FK, NK, VP, JS, BY), pp. 233–247.
- ICFP-2009-CuoqSBBCCMPP #case study #experience #framework #ml #static analysis
- Experience report: OCaml for an industrial-strength static analysis framework (PC, JS, PB, RB, GC, LC, BM, VP, AP), pp. 281–286.
- TLCA-2005-PrevostoB #proving
- Proof Contexts with Late Binding (VP, SB), pp. 324–338.