„program verification“

Suchergebnisse

1.065 Treffer

• CHC-Based Verification of Programs Through Graph Decompositions
  Faella, Marco ; Garbi, Giulio ; La Torre, Salvatore ; Parlato, Gennaro
• Synchronous stream runtime verification with uncertainties and assumptions
  Kallwies, Hannes ; Leucker, Martin 2024 Zentrale Hochschulbibliothek Lübeck
• Go2Pins: a framework for the LTL verification of Go programs (extended version)
  Kirszenberg, Alexandre ; Martin, Antoine ; Moreau, Hugo ; Renault, Etienne
• Tools for High Performance Computing 2009 – Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden
  Müller, Matthias S. 2010 Springer Berlin
• The KeY tool – Integrating object oriented design and formal verification
  Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Bubel, Richard ; Giese, Martin ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Roth, Andreas ; Schlager, Steffen ; Schmitt, Peter H.
• Analysis of recurrent neural networks via property-directed verification of surrogate models
  Khmelnitsky, Igor ; Neider, Daniel ; Roy, Rajarshi ; Xie, Xuan ; Barbot, Benoît ; Bollig, Benedikt ; Finkel, Alain ; Haddad, Serge ; Leucker, Martin ; Ye, Lina
• A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
  Schroer, Philipp ; Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Matheja, Christoph 2023 Universitätsbibliothek der RWTH Aachen
• Tactical contract composition for hybrid system component verification
  Müller, Andreas ; Mitsch, Stefan ; Retschitzegger, Werner ; Schwinger, Wieland ; Platzer, André
• Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM
  Daws, Conrado ; Kwiatkowska, Marta Z. ; Norman, Gethin
• A Systematic Verification Approach for Mondex Electronic Purses using ASMs
  Schellhorn, Gerhard ; Grandy, Holger ; Haneberg, Dominik ; Moebius, Nina ; Reif, Wolfgang 2006 Universität Augsburg
• A Deductive Verification Infrastructure for Probabilistic Programs
  Schroer, Philipp ; Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Matheja, Christoph 2023 Universitätsbibliothek der RWTH Aachen
• Verification of critical systems described in real-time TiMo
  Aman, Bogdan ; Ciobanu, Gabriel
• Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
  Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian
• Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
  König, Matthias ; Hoos, Holger H. ; Rijn, Jan N. van
• Scenario-based verification of uncertain parametric MDPs
  Badings, Thom ; Cubuktepe, Murat ; Jansen, Nils ; Junges, Sebastian ; Katoen, Joost-Pieter ; Topcu, Ufuk
• Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
  Berezin, Sergey ; Clarke, Edmund M. ; Biere, Armin ; Zhu, Yunshan
• Theorems from compiler verification: a problem set for automated theorem provers
  Schellhorn, Gerhard ; Reif, Wolfgang 2013 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Greenhouse gas verification - why, how and how much? – Proceedings of a workshop, Bonn, April 28 - 29, 1994
  Katscher, Werner 1994 Forschungszentrum, Zentralbibliothek
• International greenhouse gas verification – elements and institutions ; Studie im Rahmen des Projekts IKARUS, Teilprojekt 9
  Primio, Juan Carlos ˜diœ 1994 Forschungszentrum Jülich, Zentralbibliothek
• Verification of distributed programs using representative interleaving sequences
  Katz, Shmuel ; Peled, Doron