Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Botbol, Vincent"'
Publikováno v:
SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Jun 2022, San Diego, CA, United States. pp.36-43
Static analysis of smart-contracts is becoming more widespread on blockchain platforms. Analyzers rely on techniques like symbolic execution or model checking, but few of them can provide strong soundness properties and guarantee the analysis termina
Externí odkaz:
http://arxiv.org/abs/2210.05217
Autor:
Ziat, Ghiles, Botbol, Vincent, Dien, Matthieu, Gotlieb, Arnaud, Pépin, Martin, Dubois, Catherine
In program verification, constraint-based random testing is a powerful technique which aims at generating random test cases that satisfy functional properties of a program. However, on recursive constrained data-structures (e.g., sorted lists, binary
Externí odkaz:
http://arxiv.org/abs/2208.12747
We present a general model allowing static analysis based on abstract interpretation for systems of communicating processes. Our technique, inspired by Regular Model Checking, represents set of program states as lattice automata and programs semantic
Externí odkaz:
http://arxiv.org/abs/1611.07812
Autor:
Botbol, Vincent
Publikováno v:
Langage de programmation [cs.PL]. Sorbonne Université, 2018. Français. ⟨NNT : 2018SORUS390⟩
Verifying distributed systems is a difficult problem on both theoretical and practice levels, in particular when systems are capable of local numerical computations. The goal of this thesis is to provide a formal verification method of such systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::5bd482e456beb28a3c8c52f0f296053c
https://tel.archives-ouvertes.fr/tel-02613523/file/BOTBOL_Vincent_these_2018.pdf
https://tel.archives-ouvertes.fr/tel-02613523/file/BOTBOL_Vincent_these_2018.pdf
Autor:
Botbol, Vincent
Publikováno v:
Langage de programmation [cs.PL]. Sorbonne Université, 2018. Français. ⟨NNT : 2018SORUS390⟩
Verifying distributed systems is a difficult problem on both theoretical and practice levels, in particular when systems are capable of local numerical computations. The goal of this thesis is to provide a formal verification method of such systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::5bd482e456beb28a3c8c52f0f296053c
https://tel.archives-ouvertes.fr/tel-02613523/file/BOTBOL_Vincent_these_2018.pdf
https://tel.archives-ouvertes.fr/tel-02613523/file/BOTBOL_Vincent_these_2018.pdf
Publikováno v:
Verification, Model Checking & Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings; 2017, p73-90, 18p
Publikováno v:
International World Wide Web Conference, dev track
International World Wide Web Conference, dev track, May 2013, Rio de Janeiro, Brazil. pp.15-17
International World Wide Web Conference, dev track, May 2013, Rio de Janeiro, Brazil. pp.15-17
International audience; In this paper, after relating a short history of the mostly unhappy relationship between static typing and JavaScript (JS), we explain a new attempt at conciliating them which is more respectful of both worlds than other appro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9e7daf228c63c5965160a9b35c6e925d
https://hal.archives-ouvertes.fr/hal-01216057
https://hal.archives-ouvertes.fr/hal-01216057