„Program verification“

Suchergebnisse

1.065 Treffer

• Analyzing the impact of human errors on interactive service robotic scenarios via formal verification
  Lestingi, Livia ; Manglaviti, Andrea ; Marinaro, Davide ; Marinello, Luca ; Askarpour, Mehrnoosh ; Bersani, Marcello M. ; Rossi, Matteo
• Sensor networks in theory and practice – successfully realize embedded systems projects
  Meroth, Ansgar ; Sora, Petre 2023 Springer Vieweg
• Sensor networks in theory and practice – Successfully realize embedded systems projects
  Meroth, Ansgar ; Sora, Petre 2023 Springer Fachmedien Wiesbaden
• Program verification, defeasible reasoning, and two views of computer science
  Colburn, Timothy R.
• Philosophical aspects of program verification
  Fetzer, James H.
• Towards Verification of C Programs. C-Light Language and Its Formal Semantics
  Nepomniaschy, V. A. ; Anureev, I. S. ; Mikhailov, I. N. ; Promskii, A. V.
• Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal
  Petrenko, A. K.
• Formal verification process of the compliance of a multicore AUTOSAR OS
  Haur, Imane ; Béchennec, Jean-Luc ; H. Roux, Olivier
• Efficient Verification of Sequential and Concurrent C Programs
  Chaki, S. ; Clarke, E. ; Groce, A. ; Ouaknine, J. ; Strichman, O. ; Yorav, K.
• A Design Phase Directed Formal Verification Process
  Keane, John A. ; Hussak, Walter
• Enhanced Named Entity Recognition algorithm for financial document verification
  Toprak, Ahmet ; Turan, Metin
• SMT-based verification of program changes through summary repair
  Asadi, Sepideh ; Blicha, Martin ; Hyvärinen, Antti E. J. ; Fedyukovich, Grigory ; Sharygina, Natasha
• Verification of unsupervised neural networks
  Böing, Benedikt ; Müller, Emmanuel ; König, Barbara 2023 Universitätsbibliothek Dortmund
• Caching, crashing & concurrency - verification under adverse conditions
  Bodenmüller, Stefan ; Reif, Wolfgang 2023 Universität Augsburg
• Theory of program structures – schemes, semantics, verification
  Greibach, Sheila A. 1985 Springer
• A survey of verification techniques for parallel programs
  Barringer, Howard 1985 Springer
• The foundations of program verification
  Loeckx, Jacques ; Sieber, Kurt 1984 Teubner
• Higher order generalization and its application in program verification
  Lu, Jianguo ; Mylopoulos, John ; Harao, Masateru ; Hagiya, Masami
• Verification of Safety Properties Using Integer Programming: Beyond the State Equation
  Esparza, Javier ; Melzer, Stephan
• Dependent Types for Program Termination Verification
  Xi, Hongwei