„Model-checking“

Suchergebnisse

1.904 Treffer

• Evaluating First-Order Formulas in Structured Graphs (Invited Talk)
  Toruńczyk, Szymon 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of Second-Order HyperLTL
  Frenkel, Hadar ; Zimmermann, Martin 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 10252 Executive Summary – Game Semantics and Program Verification
  Mellies, Paul-Andre ; Murawski, Andrzej S. ; Schalk, Andrea ; Walukiewicz, Igor
• 10252 Abstracts Collection – Game Semantics and Program Verification
  Mellies, Paul-Andre ; Murawski, Andrzej S. ; Schalk, Andrea ; Walukiewicz, Igor
• FITE - Future Integrated Testing Environment
  Godefroid, Patrice ; Mariani, Leonardo ; Polini, Andrea ; Tillmann, Nikolai ; Visser, Willem ; Whalen, Michael W.
• 10051 Abstracts Collection – Quantitative and Qualitative Analysis of Network Protocols
  Jonsson, Bengt ; Kreiker, Jörg ; Kwiatkowska, Marta
• 09491 Abstracts Collection – Graph Search Engineering
  Brim, Lubos ; Edelkamp, Stefan ; Hansen, Eric A. ; Sanders, Peter
• Component-Oriented Behavior Extraction for Autonomic System Design
  Margaria, Tiziana ; Bakera, Marco ; Wagner, Christian
• BioModel Engineering: Its role in Systems Biology and Synthetic Biology
  Gilbert, David Roger ; Breitling, Rainer ; Heiner, Monika
• Verification of MPI-based Computations
  Siegel, Stephen F.
• Efficient Large-Scale Model Checking
  Verstoep, Kees ; Bal, Henri E. ; Barnat, Jiri ; Brim, Lubos
• 08332 Executive Summary – Distributed Verification and Grid Computing
  Bal, Henri E. ; Brim, Lubos ; Leucker, Martin
• 08332 Abstracts Collection – Distributed Verification and Grid Computing
  Bal, Henri E. ; Brim, Lubos ; Leucker, Martin
• QLTL Model-Checking
  Laroussinie, François ; Leclercq, Loriane ; Sangnier, Arnaud 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Synchronized CTL over One-Counter Automata
  Almagor, Shaull ; Assa, Daniel ; Boker, Udi 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Real Equation Systems with Alternating Fixed-Points
  Groote, Jan Friso ; Willemse, Tim A. C. 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints
  Mascle, Corto ; Muscholl, Anca ; Walukiewicz, Igor 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers
  Spronck, Myrthe S. C. ; Luttik, Bas 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• First Order Logic and Twin-Width in Tournaments
  Geniet, Colin ; Thomassé, Stéphan 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Checking Presence Reachability Properties on Parameterized Shared-Memory Systems
  Waldburger, Nicolas 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik