( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SPARK 2014 and GNATprove - A competition report from builders of an industrial-strength verifying compiler.

, , , и . Int. J. Softw. Tools Technol. Transf., 17 (6): 695-707 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Johannes Moy

Joanna Moy

Matthieu Moy

Yannick Antoniazza

Yannick Zakowski

 

Другие публикации лиц с тем же именем

Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification., , , , , и . TAP, том 8570 из Lecture Notes in Computer Science, стр. 142-157. Springer, (2014)Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012., , и . Ada-Europe, том 7308 из Lecture Notes in Computer Science, стр. 49-59. Springer, (2012)Sufficient Preconditions for Modular Assertion Checking.. VMCAI, том 4905 из Lecture Notes in Computer Science, стр. 188-202. Springer, (2008)Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK., , и . SecDev, стр. 1-2. IEEE, (2019)Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library., , , и . FTSCS, стр. 37-47. ACM, (2023)Auto-Active Proof of Red-Black Trees in SPARK., и . NFM, том 10227 из Lecture Notes in Computer Science, стр. 68-83. (2017)Co-Developing Programs and Their Proof of Correctness., , , и . Commun. ACM, 67 (3): 84-94 (марта 2024)Testing or Formal Verification: DO-178C Alternatives and Industrial Experience., , , , и . IEEE Software, 30 (3): 50-57 (2013)Verification of Programs with Pointers in SPARK., , , , и . ICFEM, том 12531 из Lecture Notes in Computer Science, стр. 55-72. Springer, (2020)SPARK 2014 and GNATprove - A competition report from builders of an industrial-strength verifying compiler., , , и . Int. J. Softw. Tools Technol. Transf., 17 (6): 695-707 (2015)