|
 
|
Yannick Moy
|
|
Publications
2017
- [CZR17] P. Courtieu, Z. Zhang, Robby, J. Hatcliff, Y. Moy. "Focused Certification of an Industrial Compilation and Static Verification Toolchain", Software Engineering and Formal Methods (SEFM), August 2017, Vol. 10469, pp.17-34, Series LNCS, Trento, Italy, (DOI: 10.1007/978-3-319-66197-1_2)
Conférence Internationale avec comité de lecture
2012
- [CAM12] P. Courtieu, M. Aponte, Y. Moy, M. Sango. "Maximal and Compositional Pattern-Based Loop Invariants", Formal method 2012 (FME), August 2012, Vol. 7436, pp.37-51, Series LNCS, Paris, France,
-
[CAS12]
P. Courtieu, M. Aponte, M. Sango, Y. Moy.
"Maximal and Compositional Pattern-Based
Loop Invariants - Definitions and Proofs",
Date de dépot: 2012/05/24,
Nb pages 14,
(Tech. Rep.: CEDRIC-12-2555)
