„program verification“

Suchergebnisse

1.065 Treffer

• symQV – Automated Symbolic Verification of Quantum Programs
  Bauer-Marquart, Fabian ; Leue, Stefan ; Schilling, Christian 2023 KOPS Universität Konstanz
• Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
  Batz, Kevin ; Chen, Mingshuai ; Junges, Sebastian ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Matheja, Christoph 2023 Universitätsbibliothek der RWTH Aachen
• Hardware/Software Co-Verification Using the SystemVerilog DPI
  Freitas, Arthur ; Hardt, Wolfram 2007 Universitätsbibliothek Chemnitz
• Four Issues Concerning the Semantics of Message Flow Graphs
  Ladkin, Peter B. ; Leue, Stefan 2008 Bibliothek der Universität Konstanz
• A Refinement Method for Java Programs
  Grandy, Holger ; Stenzel, Kurt ; Reif, Wolfgang 2006 Universität Augsburg
• Pragmatic techniques for program analysis and verification
  Plödereder, Erhard 2010 Universitätsbibliothek der Universität Stuttgart
• Efficient Verification of Programs with Complex Data Structures Using SMT Solvers
  Liu, Tianhai ; Beckert, B. 2018 KIT-Bibliothek
• Hardware and Software: Verification and Testing – 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
  2011 Springer Berlin Heidelberg
• Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)
  Gao, Yang ; Fränzle, Martin ; Zuliani, Paolo 2017 BIS der Universität Oldenburg
• Techniques for the verification of dynamically typed programs
  Engelmann, Björn ; Olderog, Ernst-Rüdiger ; Boer, Frank S. ˜deœ 2017 BIS der Universität Oldenburg
• Applying CDCL to verification and test: when laziness pays off
  Scheibler, Karsten ; Becker, Bernd 2017 Universität
• Verification of programmable logic controller code using model checking and static analysis
  Biallas, Sebastian ; Kowalewski, Stefan ; Fay, Alexander 2016 Universitätsbibliothek der RWTH Aachen
• Verification of pointer programs
  Rieger, Stefan ; Katoen, Joost-Pieter 2009 Universitätsbibliothek der RWTH Aachen
• Formal Verification of Firmware-Based System-on-Chip Modules
  Villarraga, Carlos ; Kunz, Wolfgang 2017 Technische Universität Kaiserslautern
• Integrating Symbolic Execution, Debugging and Verification
  Hentschel, Martin ; Hähnle, Reiner ; Leino, K. Rustan M. 2016 Universitäts- und Landesbibliothek Darmstadt
• Static detection of inevitable errors – = Statische Erkennung von unvermeidbaren Fehlern
  Schäf, Martin ; Podelski, Andreas 2011 Universität
• Verification of Programmable Logic Controller Code using Model Checking and Static Analysis
  Biallas, Sebastian 2016 Shaker
• Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
  Breitner, Joachim 2016 KIT Scientific Publishing
• Verification Techniques for TSO-Relaxed Programs
  Cǎlin, Georgel Ionuţ ; Meyer, Roland 2016 Technische Universität Kaiserslautern
• Verification of business rules programs – = Verifikation von Geschäftsregel-Programmen
  Berstel-Da Silva, Bruno ; Podelski, Andreas 2012 Universität