„Program Verification“

Suchergebnisse

1.065 Treffer

• Automatic Data Dependence Analysis by Deductive Verification
  Heydari Tabar, Asmae ; Hähnle, Reiner ; Rümmer, Philipp 2024 Universitäts- und Landesbibliothek
• Arms control verification – the technologies that make it possible
  Tsipis, Kosta 1986 Pergamon-Brassey's International Defense Publ.
• Approximate methods for simulation and verification of numerically controlled machining programs
  Jerard, R. B. ; Hussaini, S. Z. ; Drysdale, R. L. ; Schaudt, B.
• Verification of a program complex
  Sandén, Bo
• Program verification by inductive expansion – tree balancing and graph traversal
  Padawitz, Peter 1989 Fak. für Mathematik u. Informatik, Univ. c/o S. Putz
• A functional programming approach to the specification and verification of concurrent systems
  Dybjer, Peter ; Sander, Herbert P.
• Design and verification of an FPGA programmable logic element based on Sense-Switch pFLASH
  Cao, Zhengzhou ; Liu, Guozhu ; Zhang, Yanfei ; Shan, Yueer ; Xu, Yuting
• The foundations of program verification
  Loeckx, Jacques ; Sieber, Kurt 1986 Teubner
• Guide to Software Verification with Frama-C – Core Components, Usages, and Applications
  Kosmatov, Nikolai ; Prevosto, Virgile ; Signoles, Julien 2024 Springer International Publishing, Imprint: Springer
• Building Bulletproof Software: How Formal Verification Saves the Day
  Bernard 2024 tredition
• Securing the System: Formal Methods for Error-Free Software
  Naviya 2024 tredition
• Formal Methods for the Synthesis of Biomolecular Circuits
  Benenson, Yaakov ; Dalchau, Neil ; Koeppl, Heinz W. ; Maler, Oded 2024 Universitäts- und Landesbibliothek
• Verification of Java card programs
  Stenzel, Kurt
• Engineering-Physical Model (GLOBSYS) for the Next STEP of the Globus-M Spherical Tokamak Program: Verification of Some Subsystems on Achieved and Predictable Data from Installations NSTX, NSTX-U, MAST, MAST-U, and ST40
  Mineev, A. B. ; Bondarchuk, E. N. ; Kavin, A. A. ; Konin, A. Yu ; Rodin, I. Yu ; Tanchuk, V. N. ; Trofimov, V. A. ; Filatov, O. G. ; Bakharev, N. N. ; Zhilzov, N. S. ; Kurskiev, G. S. ; Kiselev, E. O. ; Minaev, V. B. ; Sakharov, N. V. ; Petrov, Yu. V. ; Telnova, A. Yu
• Compositional verification of industrial control systems – methods and case studies
  Lukoschus, Ben
• A framework for embedded software portability and verification: from formal models to low-level code
  Martins Gomes, Renata ; Aichernig, Bernhard ; Baunach, Marcel
• Program verification in synthetic domain theory
  Reus, Bernhard 1996 Shaker
• Building Bulletproof Software: The Power of Formal Verification
  Matt 2024 tredition
• Beyond Synthesis: Mastering VHDL for Efficient System Design
  Nami 2024 tredition
• Analysis and verification of multiple agent languages – selected papers
  Dam, Mads 1997 Springer