„Model-checking“

Suchergebnisse

1.904 Treffer

• Minimal Disclosure in Partially Observable Markov Decision Processes
  Bertrand, Nathalie ; Genest, Blaise 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Using non-convex approximations for efficient analysis of timed automata
  Herbreteau, Frédéric ; Kini, Dileep ; Srivathsan, B. ; Walukiewicz, Igor 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Rewriting-based Quantifier-free Interpolation for a Theory of Arrays
  Bruttomesso, Roberto ; Ghilardi, Silvio ; Ranise, Silvio 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The model checking problem for propositional intuitionistic logic with one variable is AC^1-complete
  Mundhenk, Martin ; Weiß, Felix 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model Checking Concurrent Programs with Nondeterminism and Randomization
  Chadha, Rohit ; Sistla, A. Prasad ; Viswanathan, Mahesh 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
  Hague, Matthew ; To, Anthony Widjaja 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Global Model Checking of Ordered Multi-Pushdown Systems
  Atig, Mohamed Faouzi 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model checking time-constrained scenario-based specifications
  Akshay, S. ; Gastin, Paul ; Mukund, Madhavan ; Narayan Kumar, K. 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reasoning About Strategies
  Mogavero, Fabio ; Murano, Aniello ; Vardi, Moshe Y. 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ATL with Strategy Contexts: Expressiveness and Model Checking
  Da Costa, Arnaud ; Laroussinie, François ; Markey, Nicolas 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Special tree-width and the verification of monadic second-order graph pr operties
  Courcelle, Bruno 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Logical Paradigm for Systems Biology (Invited Talk)
  Fages, François 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Branching-time Model Checking of One-counter Processes
  Göller, Stefan ; Lohrey, Markus 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Priced Timed Automata: Theory and Tools
  Larsen, Kim G. 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification and Refutation of Probabilistic Specifications via Games
  Kattenbelt, Mark ; Huth, Michael 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Random Fruits on the Zielonka Tree
  Horn, Florian 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Explicit Muller Games are PTIME
  Horn, Florian 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model Checking Games for the Quantitative µ-Calculus
  Fischer, Diana ; Grädel, Erich ; Kaiser, Lukasz 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)
  Braithwaite, Sean ; Buchman, Ethan ; Konnov, Igor ; Milosevic, Zarko ; Stoilkovska, Ilina ; Widder, Josef ; Zamfir, Anca 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Executable Models for Automatic Detection of Timing Anomalies
  Asavoae, Mihail ; Ben Hedia, Belgacem ; Jan, Mathieu 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik