„program verification“

Suchergebnisse

1.065 Treffer

• Verification of non-regular program properties
  Axelsson, Roland
• 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 Methodology for Automated Analysis of Application Specific Processor Models with Respect to Test Generation
  Lüthje, Olaf 2005 Shaker
• 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
• Algorithms and Tools for Verification and Testing of Asynchronous Programs
  Wang, Zilong ; Majumdar, Rupak 2016 Technische Universität Kaiserslautern
• Relational Reasoning - Constraint Solving, Deduction, and Program Verification
  Ghazi, Aboubakr Achraf ˜elœ ; Taghdiri, M. 2015 KIT-Bibliothek
• Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java
  Grahl, Daniel ; Beckert, B. 2015 KIT-Bibliothek
• Advancing Deductive Program-Level Verification for Real-World Application: Lessons Learned from an Industrial Case Study
  Bormer, Thorsten ; Beckert, B. 2014 KIT-Bibliothek
• Type sound syntactic language extension
  Lorenzen, Florian ; Pepper, Peter ; Mezini, Mira ; Nestmann, Uwe 2015 Technische Universität Berlin
• Compositional Concurrent Program Verification with RGITL
  Tofan, Bogdan ; Reif, Wolfgang 2014 Universität Augsburg
• Verification of program computations
  Rizkallah, Christine ; Mehlhorn, Kurt 2015 Saarländische Universitäts- und Landesbibliothek
• Program-level Specification and Deductive Verification of Security Properties
  Scheben, Christoph ; Schmitt, P. H. 2014 KIT-Bibliothek
• Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Requirements
  Lohmann, Sven 2012 Shaker
• A mechanized verification environment for real-time process algebras and low-level programming languages
  Bartels, Björn ; Glesner, Sabine ; Olderog, Ernst-Rüdiger ; Jähnichen, Stefan 2014 Technische Universität Berlin
• Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C
  Schmaltz, Sabine Bettina ; Paul, Wolfgang J. 2013 Saarländische Universitäts- und Landesbibliothek
• Mixed low- and high level programming language semantics and automated verification of a small hypervisor
  Shadrin, Andrey ; Paul, Wolfgang J. 2012 Saarländische Universitäts- und Landesbibliothek
• A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
  Mendoza Cervantes, Francisco 2014 KIT Scientific Publishing
• Verification and Validation of Logic Control Safety Applications – Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen
  Soliman, Doaa 2013 Shaker