„Model-checking“

Suchergebnisse

1.904 Treffer

• Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
  Appold, Christian ; Kolla, Reiner ; Scholl, Christoph 2016 Universität Würzburg
• First-Order Model Checking on Generalisations of Pushdown Graphs
  Kartzow, Alexander ; Otto, Martin ; Niwiński, Damian ; Kreutzer, Stephan 2011 Universitäts- und Landesbibliothek Darmstadt
• Causality Checking of Safety-Critical Software and Systems
  Leitner-Fischer, Florian 2015 Bibliothek der Universität Konstanz
• Toolkit for Reverse Engineering of Molecular Pathways via Parameter Identification
  Streck, Adam 2016 Freie Universität Berlin
• CPD $$_{\textrm{LTLf}}$$ : a linear temporal logic over finite traces guided model checking tool
  Zeng, Xiangqi ; Wang, Meng ; Wang, Miao ; Lu, Xu
• Verifying concurrent systems with symbolic execution – temporal reasoning is symbolic execution with a little induction
  Balser, Michael 2006 Shaker
• 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
• Models for Quantitative Distributed Systems and Multi-Valued Logics
  Huschenbett, Martin ; Droste, Manfred 2018 Universitätsbibliothek Leipzig
• Sustainable structures in software implementations by live compliance checking
  Knodel, Jens ; Rombach, Dieter ; Liggesmeyer, Peter ; Bomarius, Frank 2011 Fraunhofer-Verl.
• Model checking pPDA vs unambiguous automata
  Petrova, Anastasiia ; Winkler, Tobias ; Katoen, Joost-Pieter ; Noll, Thomas 2024 Universitätsbibliothek der RWTH Aachen
• Compositional control-flow reduction for probabilistic model checking
  Barth, Naomi ; Winkler, Tobias ; Katoen, Joost-Pieter ; Noll, Thomas 2024 Universitätsbibliothek der RWTH Aachen
• Automata-based model checking of recursive systems
  Gehnen, Christina ; Winkler, Tobias ; Katoen, Joost-Pieter ; Noll, Thomas 2021 Universitätsbibliothek der RWTH Aachen
• Entwicklung eines STPA-Verifiers als Eclipse-Plug-in für die Verifikation von Software-Sicherheitsanforderungen
  Balzer, Lukas 2016 Universitätsbibliothek der Universität Stuttgart
• Correction: Model Checking for Logistic Models with Study of Telehealth During the COVID-19 Pandemic Among PWH in DC
  Yang, Zeyu ; Liang, Hua ; Liu, Huiling ; Barth, Shannon ; Byrne, Morgan ; Andersen, Elisabeth ; Bhandaru, Vinay ; Castel, Amanda
• 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
• Automating mixture model fitting of task durations for process conformance checking
  Yang, Lingkai ; McClean, Sally ; Faddy, Malcolm ; Donnelly, Mark ; Khan, Kashaf ; Burke, Kevin
• Correction to: A new semi-automated workflow for chemical data retrieval and quality checking for modeling applications
  Gadaleta, Domenico ; Lombardo, Anna ; Toma, Cosimo ; Benfenati, Emilio