„Model-checking“

Suchergebnisse

1.904 Treffer

• Large scale parallel state space search utilizing graphics processing units and solid state disks
  Sulewski, Damian ; Edelkamp, Stefan ; Steffen, Bernhard 2012 Universitätsbibliothek Dortmund
• Online model checking mechanism and its applications
  Zhao, Yuhong 2016 Universitätsbibliothek
• Model Checking Concurrent Systems Using Temporal Logics
  Mennicke, Roy ; Kuske, Dietrich ; Gastin, Paul ; Leucker, Martin 2016 Universitätsbibliothek Ilmenau
• Resolution-based methods for linear temporal reasoning
  Suda, Martin ; Weidenbach, Christoph 2015 Saarländische Universitäts- und Landesbibliothek
• An online model-checking framework for timed automata
  Rinast, Jonas ; Schupp, Sibylle 2015 Universitätsbibliothek der Technischen Universität Hamburg-Harburg
• Design and Verification of Behaviour-Based Systems Realising Task Sequences
  Armbrust, Christopher ; Berns, Karsten ; Meyer, Roland 2015 Technische Universität Kaiserslautern
• Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen
  Raschke, Alexander
• Synthesis of state space generators for model checking microcontroller code
  Gückel, Dominique 2015 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Directed and Distributed Model Checking of B-Specifications
  Bendisposto, Jens Marco 2015 Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf
• Model-Based Scenario Testing and Model Checking with Applications in the Railway Domain
  Löding, Helge ; Peleska, Jan ; Fey, Görschwin 2015 Staats- und Universitätsbibliothek Bremen
• On the analysis of stochastic timed systems
  Hartmanns, Arnd ; Hermanns, Holger 2015 Saarländische Universitäts- und Landesbibliothek
• Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models
  Klüppelholz, Sascha ; Baier, Christel ; Arbab, Farhad 2012 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Model checking memory-related properties of hardware/software codesigns
  Pockrandt, Marcel ; Glesner, Sabine ; Juurlink, Ben ; Drechsler, Rolf 2014 Technische Universität Berlin
• Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems
  Eggers, Andreas ; Fränzle, Martin ; Ramdani, Nacim 2014 BIS der Universität Oldenburg
• Formal verification of the pastry protocol
  Lu, Tianxiang ; Weidenbach, Christoph 2013 Saarländische Universitäts- und Landesbibliothek
• A uniform approach to the complexity and analysis of succinct systems
  Peter, Hans-Jörg ; Finkbeiner, Bernd 2013 Saarländische Universitäts- und Landesbibliothek
• Model checking stochastic hybrid systems
  Hahn, Ernst Moritz ; Hermanns, Holger 2013 Saarländische Universitäts- und Landesbibliothek
• Strategy machines – representation and complexity of strategies in infinite games
  Gelderie, Marcus 2014 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Model composition in model-checking
  Felscher, Ingo 2014 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Unmasking fault tolerance – quantifying deterministic recovery dynamics in probabilistic environments
  Müllner, Nils Henning ; Theel, Oliver ; Katoen, Joost-Pieter 2014 BIS der Universität Oldenburg