„program verification“

Suchergebnisse

1.065 Treffer

• Witness-based validation of verification results with applications to software-model checking
  Dangl, Matthias ; Beyer, Dirk 2022 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Projection in a probabilistic epistemic logic and its application to belief-based program verification
  Liu, Daxin ; Lakemeyer, Gerhard ; Belle, Vaishak 2023 Universitätsbibliothek der RWTH Aachen
• Verification of Golog Programs over Description Logic Actions
  Zarrieß, Benjamin ; Baader, Franz ; Sardina, Sebastian 2018 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Development, verification and analysis of a fault injection tool for improving dependability of FPGA systems
  Khatri, Abdul Rafay 2021 Universitätsbibliothek Kassel
• Coloured Petri Nets – Modelling and Validation of Concurrent Systems
  2009 Springer Berlin Heidelberg
• Solving Higher-Order Equations – From Logic to Programming
  Prehofer, Christian 1998 Birkhäuser Boston
• Towards runtime verification of programmable networks
  Shukla, Apoorv ; Feldmann, Anja ; Schmid, Stefan ; Smaragdakis, Georgios ; Crowcroft, Jon 2020 Technische Universität Berlin
• Modular Verification of a Modular Specification: Behavioral Types as Program Logics
  Kamburjan, Eduard ; Hähnle, Reiner ; Boer, Frank S. ˜deœ 2020 Universitäts- und Landesbibliothek Darmstadt
• Data flow in program verification
  Nutz, Alexander ; Podelski, Andreas 2020 Universität
• Konzeption und Evaluation eines webbasierten Patienteninformationsprogrammes zur Überprüfung internistischer Verdachtsdiagnosen
  Azar, Isabel ; Störk, Stefan 2020 Universität Würzburg
• Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties
  Herda, Mihai ; Beckert, B. 2020 KIT-Bibliothek
• User Interaction in Deductive Interactive Program Verification
  Grebing, Sarah ; Beckert, B. 2019 KIT-Bibliothek
• Symbolic execution and program synthesis – a general methodology for software verification
  Ströder, Thomas ; Giesl, Jürgen ; Rubio, Albert 2019 Universitätsbibliothek der RWTH Aachen
• Scaling Correctness-by-Construction
  Bordis, Tabea ; Schaefer, Ina ; Broch Johnsen, Einar 2025 KIT-Bibliothek
• CliCFPGA: Collaboration Platform for Component-Based Design and Verification of AI-Based System Using FPGAs
  Amin, Rashed Al 2025 Universitätsbibliothek der Universität Siegen
• Verification of asynchronous hyperproperties
  Ohrem, Christoph ; Müller-Olm, Markus 2025 Universitäts- und Landesbibliothek Münster
• Exploring cooperative verification – survey, tools, and experiments
  Kanav, Sudeep ; Beyer, Dirk 2024 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Cooperative Software Verification
  Haltermann, Jan ; Wehrheim, Heike ; Strejček, Jan 2025 BIS der Universität Oldenburg
• Automated deductive verification of probabilistic programs
  Batz, Kevin ; Katoen, Joost-Pieter ; Hasuo, Ichiro 2024 Universitätsbibliothek der RWTH Aachen
• Cross-Resolution Face Verification
  Knoche, Martin ; Rigoll, Gerhard ; Diepold, Klaus 2024 Universitätsbibliothek der TU München