( en | de | ru )

 

Disambiguierung von "Moy, Yannick"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Co-Developing Programs and Their Proof of Correctness.

, , , und . Commun. ACM, 67 (3): 84-94 (März 2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Johannes Moy

Joanna Moy

Matthieu Moy

Yannick Antoniazza

Yannick Zakowski

 

Weitere Publikationen von Autoren mit dem selben Namen

Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification., , , , , und . TAP, Volume 8570 von Lecture Notes in Computer Science, Seite 142-157. Springer, (2014)Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK., , und . SecDev, Seite 1-2. IEEE, (2019)Auto-Active Proof of Red-Black Trees in SPARK., und . NFM, Volume 10227 von Lecture Notes in Computer Science, Seite 68-83. (2017)Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012., , und . Ada-Europe, Volume 7308 von Lecture Notes in Computer Science, Seite 49-59. Springer, (2012)Sufficient Preconditions for Modular Assertion Checking.. VMCAI, Volume 4905 von Lecture Notes in Computer Science, Seite 188-202. Springer, (2008)Co-Developing Programs and Their Proof of Correctness., , , und . Commun. ACM, 67 (3): 84-94 (März 2024)Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library., , , und . FTSCS, Seite 37-47. ACM, (2023)Integration von Formaler Verifikation und Test., , und . Automotive - Safety & Security, Volume P-210 von LNI, Seite 133-148. GI, (2012)Counterexamples from Proof Failures in SPARK., , und . SEFM, Volume 9763 von Lecture Notes in Computer Science, Seite 215-233. Springer, (2016)SPARK 2014 and GNATprove - A competition report from builders of an industrial-strength verifying compiler., , , und . Int. J. Softw. Tools Technol. Transf., 17 (6): 695-707 (2015)