„Software model checking“

Suchergebnisse

732 Treffer

• A formal approach to the development of industrial cyber-physical systems
  Feo Arenis, Sergio Alejandro ; Podelski, Andreas 2016 Universität
• A system-theoretic safety engineering approach for software-intensive systems
  Abdulkhaleq, Asim ; Wagner, Stefan 2017 Universitätsbibliothek der Universität Stuttgart
• Formal Verification of Firmware-Based System-on-Chip Modules
  Villarraga, Carlos ; Kunz, Wolfgang 2017 Technische Universität Kaiserslautern
• Interpolation in software model checking and fault localization – = Interpolation in Software Model Checking und Defektlokalisierung
  Ermis, Evren ; Podelski, Andreas 2014 Universität
• Automated verification of system requirements and software specifications
  Dietsch, Daniel ; Podelski, Andreas 2016 Universität
• Theory and Implementation of Software Bounded Model Checking
  Merz, Florian ; Sinz, C. 2016 KIT-Bibliothek
• Causality Checking of Safety-Critical Software and Systems
  Leitner-Fischer, Florian 2015 Bibliothek der Universität Konstanz
• CPD $$_{\textrm{LTLf}}$$ : a linear temporal logic over finite traces guided model checking tool
  Zeng, Xiangqi ; Wang, Meng ; Wang, Miao ; Lu, Xu
• Parallelisierung eines Software Modellprüfers für nebenläufige C++ Programme
  Sulewski, Damian 2008 Diplom.de
• Software Model Checking for Memory Consistency Verification
  Andrianov, P. S. ; Zelenov, S. V. ; Mutilin, V. S. ; Petrenko, A. K.
• Tracy, traces, and transducers: computable counterexamples and explanations for HyperLTL model-checking
  Winter, Sarah ; Zimmermann, Martin
• Sustainable structures in software implementations by live compliance checking
  Knodel, Jens ; Rombach, Dieter ; Liggesmeyer, Peter ; Bomarius, Frank 2011 Fraunhofer-Verl.
• Entwicklung eines STPA-Verifiers als Eclipse-Plug-in für die Verifikation von Software-Sicherheitsanforderungen
  Balzer, Lukas 2016 Universitätsbibliothek der Universität Stuttgart
• Fundamental Approaches to Software Engineering – 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
  Huisman, Marieke ; Rubin, Julia 2005 Springer Berlin Heidelberg
• Tools and algorithms for the construction and analysis of systems – 12th international conference ; proceedings
  Hermanns, Holger 2006 Springer
• Hardware and Software: Verification and Testing – 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
  2011 Springer Berlin Heidelberg
• Formal-Methods Support for Runtime Adaptation in Self-Adaptive Systems
  Korn, Max ; Baier, Christel ; Hermanns, Holger 2025 Technische Universität Dresden
• Formal Analysis of Variability-Intensive and Context-Sensitive Systems
  Chrszon, Philipp ; Baier, Christel ; Boer, Frank S. de 2021 Technische Universität Dresden
• Concept for a meta-model-based eclipse software modeling environment enabling model checking for the development of embedded aircraft software
  Galler, Jan-Moritz ; Frey, Andreas ; Margull, Ulrich 2021 Technische Hochschule Ingolstadt
• Static Analysis – 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings
  2003 Springer International Publishing