„Program Verification“

Suchergebnisse

1.065 Treffer

• Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System
  Kondratyev, D. A.
• Received signal strength-based location verification technique in Wireless Sensor Network using Spline curve
  Paul, Aditi ; Sinha, Somnath
• The Calculus of Computation – Decision Procedures with Applications to Verification
  Bradley, Aaron R. ; Manna, Zohar 2007 Springer Berlin Heidelberg
• Three Early Formal Approaches to the Verification of Concurrent Programs
  Jones, Cliff B.
• The calculus of computation – decision procedures with applications to verification
  Bradley, Aaron R. ; Manna, Zohar 2007 Springer
• Entwicklung von Methoden zur abstrakten Modellierung von Automotive Systems-on-Chips
  Kirchner, Aljoscha 2022 Springer Vieweg
• Formal Verification of Blockchain Based Tender Systems
  Dávila, René ; Aldeco-Pérez, Rocío ; Bárcenas, Everardo
• Entwicklung von Methoden zur abstrakten Modellierung von Automotive Systems-on-Chips
  Kirchner, Aljoscha 2022 Springer Fachmedien Wiesbaden
• Induction-based Verification of Synchronous and Hybrid Programs
  Li, Xian ; Schneider, Klaus 2018 Technische Universität Kaiserslautern
• Mechanized semantics of simple imperative programming constructs
  Pfeifer, Holger ; Dold, Axel ; Henke, Friedrich Wilhelm ˜vonœ ; Rueß, Harald 2009 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Unique Program Execution Checking: A Novel Approach for Formal Security Analysis of Hardware
  Rahmani Fadiheh, Mohammad ; Kunz, Wolfgang 2022 Technische Universität Kaiserslautern
• Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps
  Hansen, Simon Thrane ; Thule, Casper ; Gomes, Cláudio ; Pol, Jaco van de ; Palmieri, Maurizio ; Inci, Emin Oguz ; Madsen, Frederik ; Alfonso, Jesús ; Castellanos, José Ángel ; Rodriguez, José Manuel
• Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view
  Ma, Qin ; Kaczmarek-Heß, Monika ; Kinderen, Sybren de
• Verification of object oriented software – the KeY approach
  Beckert, Bernhard 2007 Springer
• Stratified commutativity in verification algorithms for concurrent programs
  Farzan, Azadeh ; Klumpp, Dominik ; Podelski, Andreas 2023 Universität
• Verification – theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday
  Dershowitz, Nachum 2003 Springer
• The Discourje project: run-time verification of communication protocols in Clojure
  Hamers, Ruben ; Horlings, Erik ; Jongmans, Sung-Shik
• Decentralized runtime verification of message sequences in message-based systems
  Samadi, Mahboubeh ; Ghassemi, Fatemeh ; Khosravi, Ramtin
• Automation of C Program Deductive Verification without Using Loop Invariants
  Kondratyev, D. A. ; Nepomniaschy, V. A.
• Bridging the gap between single- and multi-model predictive runtime verification
  Ferrando, Angelo ; Cardoso, Rafael C. ; Farrell, Marie ; Luckcuck, Matt ; Papacchini, Fabio ; Fisher, Michael ; Mascardi, Viviana