Autor der Publikation

Auto-Active Proof of Red-Black Trees in SPARK.

, und . NFM, Volume 10227 von Lecture Notes in Computer Science, Seite 68-83. (2017)

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.

 

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)Sufficient Preconditions for Modular Assertion Checking.. VMCAI, Volume 4905 von Lecture Notes in Computer Science, Seite 188-202. Springer, (2008)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)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)Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library., , , und . FTSCS, Seite 37-47. ACM, (2023)Co-Developing Programs and Their Proof of Correctness., , , und . Commun. ACM, 67 (3): 84-94 (März 2024)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)Verification of Programs with Pointers in SPARK., , , , und . ICFEM, Volume 12531 von Lecture Notes in Computer Science, Seite 55-72. Springer, (2020)Testing or Formal Verification: DO-178C Alternatives and Industrial Experience., , , , und . IEEE Software, 30 (3): 50-57 (2013)