Valentin Robert
Title
Cited by
Cited by
Year
A formally-verified alias analysis
V Robert, X Leroy
International Conference on Certified Programs and Proofs, 11-26, 2012
442012
Automating formal proofs for reactive systems
D Ricketts, V Robert, D Jang, Z Tatlock, S Lerner
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
182014
Front-end tooling for building and maintaining dependently-typed functional programs
V Robert
University of California, San Diego, 2018
72018
Rapport du Projet de Fin d'Etudes
P Moyer
Modelisation d'un Injecteur a l'aide du language VHDL-A, Ecole Nationale …, 1995
11995
Daniel Ricketts
D Ricketts, G Malecha, MM Alvarez, V Gowda, S Lerner, V Robert, D Jang, ...
Conference on, pages 248 (257), 2015
2015
Proof-assistant-based verification of programs
V Robert
The system can't perform the operation now. Try again later.
Articles 1–6