( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Co-Developing Programs and Their Proof of Correctness.

, , , и . Commun. ACM, 67 (3): 84-94 (марта 2024)

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)Testing or Formal Verification: DO-178C Alternatives and Industrial Experience., , , , и . IEEE Software, 30 (3): 50-57 (2013)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)Modular inference of subprogram contracts for safety checking., и . J. Symb. Comput., 45 (11): 1184-1211 (2010)Verification of Programs with Pointers in SPARK., , , , и . ICFEM, том 12531 из Lecture Notes in Computer Science, стр. 55-72. Springer, (2020)Integration von Formaler Verifikation und Test., , и . Automotive - Safety & Security, том P-210 из LNI, стр. 133-148. GI, (2012)Counterexamples from Proof Failures in SPARK., , и . SEFM, том 9763 из Lecture Notes in Computer Science, стр. 215-233. Springer, (2016)Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014., , , и . ISoLA (1), том 9952 из Lecture Notes in Computer Science, стр. 461-478. (2016)Tokeneer: Beyond Formal Program Verification, и . Proceedings of the 5th International Congress on Embedded Real Time Software and Systems, (мая 2010)Focused Certification of an Industrial Compilation and Static Verification Toolchain., , , , и . SEFM, том 10469 из Lecture Notes in Computer Science, стр. 17-34. Springer, (2017)