„Model-checking“

Suchergebnisse

1.904 Treffer

• Understanding Social Feedback in Biological Collectives with Smoothed Model Checking
  Klein, Julia ; Petrov, Tatjana 2022 KOPS Universität Konstanz
• Model Checking Temporal Properties of Recursive Probabilistic Programs
  Winkler, Tobias ; Gehnen, Christina ; Katoen, Joost-Pieter 2022 Universitätsbibliothek der RWTH Aachen
• Advances in Symbolic Probabilistic Model Checking with PRISM
  Klein, Joachim ; Baier, Christel ; Chrszon, Philipp ; Daum, Marcus ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Märcker, Steffen ; Müller, David 2021 Technische Universität Dresden
• Family-Based Modeling and Analysis for Probabilistic Systems
  Chrszon, Philipp ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Baier, Christel 2020 Technische Universität Dresden
• Bayesian Inference by Symbolic Model Checking
  Salmani Barzoki, Bahare ; Katoen, Joost-Pieter 2020 Universitätsbibliothek der RWTH Aachen
• Using Timed Model Checking for Verifying Workflows
  Gruhn, Volker ; Laue, Ralf 2019 Universitätsbibliothek Leipzig
• Specification Patterns for Time-Related Properties
  Gruhn, Volker ; Laue, Ralf 2019 Universitätsbibliothek Leipzig
• Ultimate Taipan with Dynamic Block Encoding – (Competition Contribution)
  Dietsch, Daniel ; Greitschus, Marius ; Heizmann, Matthias ; Hoenicke, Jochen ; Nutz, Alexander ; Podelski, Andreas ; Schilling, Christian ; Schindler, Tanja 2018 KOPS Universität Konstanz
• A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
  Baier, Christel ; Engel, Benjamin ; Klüppelholz, Sascha ; Märcker, Steffen ; Tews, Hendrik ; Völp, Marcus 2013 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
  Baier, Christel ; Daum, Marcus ; Engel, Benjamin ; Härtig, Hermann ; Klein, Joachim ; Klüppelholz, Sascha ; Märcker, Steffen ; Tews, Hendrik ; Völp, Marcus 2013 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Hardness of FO Model-Checking on Random Graphs
  Dreier, Jan ; Rossmanith, Peter 2019 Universitätsbibliothek der RWTH Aachen
• First-Order Model-Checking in Random Graphs and Complex Networks
  Dreier, Jan ; Kuinke, Philipp ; Rossmanith, Peter 2020 Universitätsbibliothek der RWTH Aachen
• Modeling non-deterministic quantum programs for model checking
  Kierner, Kaleb ; Gehnen, Christina ; Katoen, Joost-Pieter ; Unruh, Dominique 2025 Universitätsbibliothek der RWTH Aachen
• The complexity of formal verification of neural network based models
  Sälzer, Marco 2025 Universitätsbibliothek Kassel
• Verifying concurrent systems with symbolic execution
  Balser, Michael ; Duelli, Christoph ; Reif, Wolfgang ; Schellhorn, Gerhard 2002 Universität Augsburg
• Statistical Model Checking with Robust Markov Decision Processes
  Wienhöft, Patrick ; Baier, Christel ; Křetínský, Jan 2025 Technische Universität Dresden
• Noise from plants systems and Building Information Modeling: The Code Checking.
  Mastino, Costantino Carlo ; Baccoli, Roberto ; Frattolillo, Andrea ; Marini, Martino 2019 Universitätsbibliothek der RWTH Aachen
• Model checking and validity in propositional and modal inclusion logics
  Hella, Lauri ; Kuusisto, Antti ; Meier, Arne ; Virtema, Jonni 2017 Gottfried Wilhelm Leibniz Universität Hannover
• Symbolic Causality Checking Using Bounded Model Checking
  Beer, Adrian ; Heidinger, Stephan ; Kühne, Uwe ; Leitner-Fischer, Florian ; Leue, Stefan 2015 Bibliothek der Universität Konstanz
• Linear Distances between Markov Chains
  Daca, Przemyslaw ; Henzinger, Thomas ; Křetínský, Jan ; Petrov, Tatjana 2016 Bibliothek der Universität Konstanz