„Software Verification“

Suchergebnisse

1.196 Treffer

• 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
• Deductive verification of object-oriented software – dynamic frames, dynamic logic and predicate abstraction
  Weiß, Benjamin ; Schmitt, P. H. 2011 KIT Scientific Publishing
• Verification-based software-fault detection
  Gladisch, Christoph ; Beckert, B. 2011 KIT Scientific Publishing
• A hybrid methodology to enable the verification of temporal properties as system-level
  Grimm, Tomás ; Hübner, Michael ; Blume, Holger 2019 Ruhr-Universität Bochum
• Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
  Omri, Fouad ben Nasr 2018 KIT Scientific Publishing
• Verification and Validation of Logic Control Algorithms by Model Checking – Verifikation und Validierung von Steuerungsalgorithmen mittels Model Checking
  Weng, Xiying 2003 Shaker
• Verifying Concurrent Systems with Symbolic Execution – Temporal Reasoning is Symbolic Execution with a Little Induction
  Balser, Michael 2006 Shaker
• Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
  Omri, Fouad ben Nasr ; Reussner, R. 2015 KIT-Bibliothek
• Model checking memory-related properties of hardware/software codesigns
  Pockrandt, Marcel ; Glesner, Sabine ; Juurlink, Ben ; Drechsler, Rolf 2014 Technische Universität Berlin
• TLB virtualization in the context of hypervisor verification
  Kovalev, Mikhail ; Paul, Wolfgang J. 2013 Saarländische Universitäts- und Landesbibliothek
• Verification and Validation of Logic Control Safety Applications – Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen
  Soliman, Doaa 2013 Shaker
• Symbolic Execution of Distributed Systems
  Sasnauskas, Raimondas 2013 Shaker
• Building Bulletproof Software: How Formal Verification Saves the Day
  Bernard 2024 tredition
• Model-driven test case construction by domain experts in the context of software system families
  Baerisch, Stefan 2009 Universitätsbibliothek Kiel
• Verifikation abstrakter Zustandsmaschinen
  Schellhorn, Gerhard 1999 Universität Ulm. Fakultät für Informatik
• Verification-based software-fault detection
  Gladisch, Christoph
• Securing the System: Formal Methods for Error-Free Software
  Naviya 2024 tredition
• Semantic business process modeling – facilitating the design and verification of conceptual process models
  Markovic, Ivan
• OS verification extended – on the formal verification of device drivers and the correctness of client-server software
  Alkassar, Eyad