„program verification“

Suchergebnisse

1.065 Treffer

• Verification-based software-fault detection
  Gladisch, Christoph 2011 KIT Scientific Publ.
• The connection between applicative and procedural languages in an integrated software development and verification system
  Olthoff, Walter
• Theory of program structures – schemes, semantics, verification
  Greibach, Sheila A. 1975 Springer
• A PROPERTY OF 2‐SORTED PEANO MODELS AND PROGRAM VERIFICATION
  Csirmaz, L. ; Paris, J. B.
• Verifikation abstrakter Zustandsmaschinen
  Schellhorn, Gerhard
• Automatic verification of behavior preservation at the transformation level for relational model transformation
  Dyck, Johannes ; Giese, Holger ; Lambers, Leen
• MIZAR verification of generic algebraic algorithms
  Schwarzweller, Christoph
• Specification and verification of object-oriented programs using supertype abstraction
  Leavens, Gary T. ; Weihl, William E.
• On applying residual reasoning within neural network verification
  Elboher, Yizhak Yisrael ; Cohen, Elazar ; Katz, Guy
• Efficient static analysis and verification of featured transition systems
  Beek, Maurice H. ˜terœ ; Damiani, Ferruccio ; Lienhardt, Michael ; Mazzanti, Franco ; Paolini, Luca
• Abstraction and subsumption in modular verification of C programs
  Beringer, Lennart ; Appel, Andrew W.
• Transactions on Petri Nets and Other Models of Concurrency XVII
  Koutny, Maciej ; Bergenthum, Robin ; Ciardo, Gianfranco 2024 Springer Nature Switzerland
• Automated verification of concurrent go programs via bounded model checking
  Dilley, Nicolas ; Lange, Julien
• A formal component model for UML based on CSP aiming at compositional verification
  Falcão, Flávia ; Lima, Lucas ; Sampaio, Augusto ; Antonino, Pedro
• A user study for evaluation of formal verification results and their explanation at Bosch
  Kaleeswaran, Arut Prakash ; Nordmann, Arne ; Vogel, Thomas ; Grunske, Lars
• Model-based quality assurance of intrumented context-free systems
  Frohme, Markus ; Steffen, Bernhard ; Jonsson, Bengt 2023 Universitätsbibliothek Dortmund
• Flexible Correct-by-Construction Programming
  Runge, Tobias ; Bordis, Tabea ; Potanin, Alex ; Thüm, Thomas ; Schaefer, Ina 2023 Universität Ulm
• Systematic testing and formal verification to validate reactive programs
  Müllerburg, Monika ; Holenderski, Leszek ; Maffeis, Olivier ; Merceron, Agathe ; Morley, Matthew
• Clustering-based data integrity verification approach for multi-replica in a fog environment
  Maheswari, K. Uma ; Bhanu, S. Mary Saira ; Savarimuthu, Nickolas
• Complete symbolic simulation of systemC models – efficient formal verification of finite non-terminating programs
  Herdt, Vladimir 2016 Springer Vieweg