„Model-checking“

Suchergebnisse

1.904 Treffer

• Leveraging invariant information towards incremental Software Model Checking
  Spiessl, Martin ; 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
• Verification of Data-Value-Aware Process Models
  Ordoni, Elaheh ; Böhm, Klemens ; Oberweis, Andreas 2025 KIT-Bibliothek
• Probabilistic model checking and parameter tuning for Bayesian networks
  Salmani, Bahare ; Katoen, Joost-Pieter ; de Raedt, Luc 2024 Universitätsbibliothek der RWTH Aachen
• Automated deductive verification of probabilistic programs
  Batz, Kevin ; Katoen, Joost-Pieter ; Hasuo, Ichiro 2024 Universitätsbibliothek der RWTH Aachen
• smartIflow - A Model Based Approach for Safety Analysis in the Early Product Life Cycle Stages
  Hönig, Philipp ; Holzapfel, Florian ; Lunde, Rüdiger 2025 Universitätsbibliothek der TU München
• Functional Abstract Interpretation
  Graf, Sebastian ; Snelting, Gregor ; Brachthäuser, Jonathan I. 2025 KIT-Bibliothek
• Provably accurate verdictors – foundations and applications
  Köhl, Maximilian ; Hermanns, Holger 2024 Saarländische Universitäts- und Landesbibliothek
• Applying software model checking: experiences and advancements
  Berger, Philipp ; Katoen, Joost-Pieter ; Beyer, Dirk 2024 Universitätsbibliothek der RWTH Aachen
• Efficient Control via Reachability Synthesis for Cyber-Physical Systems
  Grover, Kush ; Kretínský, Jan ; Larsen, Kim Guldstrand ; Jansen, Nils, 2024 Universitätsbibliothek der TU München
• Monadically stable and monadically dependent graph classes: characterizations and algorithmic meta-theorems
  Mählmann, Nikolas ; Siebertz, Sebastian ; Ossona de Mendez, Patrice 2024 Staats- und Universitätsbibliothek Bremen
• Counting and sliding verifying and restoring healthy systems
  Grobler, Mario ; Siebertz, Sebastian ; Zimmermann, Martin 2024 Staats- und Universitätsbibliothek Bremen
• Verfahren zur hardware-basierten Beschleunigung von Testumgebungen
  Henftling, Renate 2005 Shaker
• Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking
  Pavlović, Olivera ; Ehrich, Hans-Dieter 2009 Technische Universität Braunschweig
• CIP Model-Checking
  Moglestue, Andreas 2004 Shaker
• Consistency Management of Object-Oriented Behavioral Models
  Küster, Jochen M. 2004 Shaker
• Formale Analyse von Sequential Function Charts
  Bauer, Nanette 2003 Shaker
• Verification and Validation of Logic Control Algorithms by Model Checking – Verifikation und Validierung von Steuerungsalgorithmen mittels Model Checking
  Weng, Xiying 2003 Shaker
• Simulation teilformaler Anforderungsmodelle
  Seybold, Christian 2006 Shaker
• Verifying Concurrent Systems with Symbolic Execution – Temporal Reasoning is Symbolic Execution with a Little Induction
  Balser, Michael 2006 Shaker