„Model-checking“

Suchergebnisse

1.904 Treffer

• Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112)
  Jacobs, Swen ; McMillan, Kenneth ; Samanta, Roopsha ; Sergey, Ilya
• Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking
  Zbrzezny, Agnieszka M. ; Zbrzezny, Andrzej 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation)
  André, Étienne ; Coti, Camille ; Nguyen, Hoang Gia 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parametric Verification of Weighted Systems
  Christoffersen, Peter ; Hansen, Mikkel ; Mariegaard, Anders ; Ringsmose, Julian Trier ; Larsen, Kim Guldstrand ; Mardare, Radu 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parameter and Controller Synthesis for Markov Chains with Actions and State Labels
  Tati, Bharath Siva Kumar ; Siegle, Markus 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• View Abstraction – A Tutorial (Invited Paper)
  Abdulla, Parosh A. ; Haziza, Fréderic ; Holík, Lukáš 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Predicate Abstraction in Program Verification: Survey and Current Trends
  Daniel, Jakub ; Parízek, Pavel 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study
  Ma, Xintao ; Rinast, Jonas ; Schupp, Sibylle ; Gollmann, Dieter 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Domain Specific Language for Performance Evaluation of Medical Imaging Systems
  van den Berg, Freek ; Remke, Anne ; Haverkort, Boudewijn R. 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bounded Model Checking for Linear Time Temporal-Epistemic Logic
  Meski, Artur ; Penczek, Wojciech ; Szreter, Maciej 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automatic Derivation of Abstract Semantics From Instruction Set Descriptions
  Gückel, Dominique ; Kowalewski, Stefan 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools
  Jääskeläinen, Antti ; Katara, Mika ; Katz, Shmuel ; Virtanen, Heikki 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• CUDA Accelerated LTL Model Checking -­ Revisited
  Bauch, Petr ; Ceska, Milan 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• METAMOC: Modular Execution Time Analysis using Model Checking
  Dalsgaard, Andreas E. ; Olesen, Mads Chr. ; Toft, Martin ; Hansen, René Rydhof ; Larsen, Kim Guldstrand 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards WCET Analysis of Multicore Architectures Using UPPAAL
  Gustavsson, Andreas ; Ermedahl, Andreas ; Lisper, Björn ; Pettersson, Paul 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Space Effective Model Checking for Component-Interaction Automata
  Beneš, Nikola ; Křivánek, Milan ; Štefaňák, Filip 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Comparison of Algorithms for Checking Emptiness on Büchi Automata
  Gaiser, Andreas ; Schwoon, Stefan 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Explaining Data Type Reduction in the Shape Analysis Framework
  Wachter, Björn 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121)
  Jansen, Nils ; Katoen, Joost-Pieter ; Kohli, Pusmeet ; Kretinsky, Jan
• Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361)
  Dawar, Anuj ; Grädel, Erich ; Kolaitis, Phokion G. ; Schwentick, Thomas