E-LIB Suche - Ergebnisse für: Moy, Yannick

1

Co-Developing Programs and Their Proof of Correctness:

Chapman, Roderick ; Dross, Claire ; Matthews, Stuart.
Communications of the ACM. 67 (2024) 3 - p. 84-94 , 2024

Link: https://doi.org/10.1145/..

2

Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Appl..:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems,

Maiga, Aïssata ; Artho, Cyrille ; Gilcher, Florian. - p. 37-47 , 2023

Link: https://dl.acm.org/doi/1..

3

Proving the Correctness of GNAT Light Runtime Library:

Moy, Yannick ; Dross, Claire
ACM SIGAda Ada Letters. 42 (2022) 1 - p. 65-67 , 2022

Link: https://doi.org/10.1145/..

4

Layered Formal Verification of a TCP Stack:

, In: 2021 IEEE Secure Development Conference (SecDev),

Cluzel, Guillaume ; Georgiou, Kyriakos ; Moy, Yannick. - p. 86-93 , 2021

Link: https://doi.org/10.1109/..

5

Verification of Programs with Pointers in SPARK:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Jaloyan, Georges-Axel ; Dross, Claire ; Maalej, Maroua.. - p. 55-72 , 2020

Link: https://doi.org/10.1007/..

6

Tutorial: A Practical Introduction to Formal Development an..:

, In: 2019 IEEE Cybersecurity Development (SecDev),

Brosgol, Benjamin M. ; Dross, Claire ; Moy, Yannick - p. 1-2 , 2019

Link: https://doi.org/10.1109/..

7

Gem #147 : Su(per)btypes in Ada 2012 - Part 2:

Moy, Yannick
ACM SIGAda Ada Letters. 37 (2018) 2 - p. 30-31 , 2018

Link: https://dl.acm.org/doi/1..

8

Gem #151 : Specifying Mathematical Properties of Program:

Moy, Yannick
ACM SIGAda Ada Letters. 37 (2018) 2 - p. 40-42 , 2018

Link: https://dl.acm.org/doi/1..

9

Instrumenting a weakest precondition calculus for counterex..:

Dailler, Sylvain ; Hauzar, David ; Marché, Claude.
Journal of Logical and Algebraic Methods in Programming. 99 (2018) - p. 97-113 , 2018

Link: https://doi.org/10.1016/..

10

Gem #148 : Su(per)btypes in Ada 2012 - Part 3:

Moy, Yannick
ACM SIGAda Ada Letters. 37 (2018) 2 - p. 32-33 , 2018

Link: https://dl.acm.org/doi/1..

11

Gem #146 : Su(per)btypes in Ada 2012 - Part 1:

Moy, Yannick
ACM SIGAda Ada Letters. 37 (2018) 2 - p. 27-29 , 2018

Link: https://dl.acm.org/doi/1..

12

Gem #151: Specifying Mathematical Properties of Programs:

Moy, Yannick
ACM SIGAda Ada Letters. 37 (2018) 2 - p. 40-42 , 2018

Link: https://doi.org/10.1145/..

13

Gem #147: Su(per)btypes in Ada 2012 - Part 2:

Moy, Yannick
ACM SIGAda Ada Letters. 37 (2018) 2 - p. 30-31 , 2018

Link: https://doi.org/10.1145/..

14

Gem #149 : Asserting the truth, but (possibly) not the w..:

Moy, Yannick
ACM SIGAda Ada Letters. 37 (2018) 2 - p. 34-36 , 2018

Link: https://dl.acm.org/doi/1..

15

Gem #146: Su(per)btypes in Ada 2012 - Part 1:

Moy, Yannick
ACM SIGAda Ada Letters. 37 (2018) 2 - p. 27-29 , 2018

Link: https://doi.org/10.1145/..