„Model-checking“

Suchergebnisse

1.904 Treffer

• SAT based scalable formal verification solutions
  Ganai, Malay 2007 Springer
• Theoretical aspects of computing – third international colloquium ; proceedings
  Barkaoui, Kamel 2006 Springer
• Automated technology for verification and analysis – 4th international symposium ; proceedings
  Graf, Susanne 2006 Springer
• Model checking software – proceedings
  Godefroid, Patrice 2005 Springer
• Model based testing of reactive systems – advanced lectures
  Broy, Manfred 2005 Springer
• Causal Analysis and Repair of Systems
  Kölbl, Martin 2022 KOPS Universität Konstanz
• Explicit state space verification
  Wolf, Karsten
• Automata logics, and infinite games – a guide to current research
  Grädel, Erich 2002 Springer
• Enhancing Probabilistic Model Checking with Ontologies
  Dubslaff, Clemens ; Koopmann, Patrick ; Turhan, Anni-Yasmin
• Constraint-based debugging in probabilistic model checking
  Debbi, Hichem
• Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern
  Schnakenbeck, Aron ; Mroß, Robin ; Völker, Marcus ; Kowalewski, Stefan ; Fay, Alexander
• Statistical model checking and time-bounded reachability analysis for hybrid petri nets with multiple stochastic variables
  Pilch, Carina 2021
• Reference architectures modelling and compliance checking
  Bucaioni, Alessio ; Di Salle, Amleto ; Iovino, Ludovico ; Malavolta, Ivano ; Pelliccione, Patrizio
• Synthesizing realistic verification tasks
  Jasper, Marc ; Steffen, Bernhard ; Siegel, Stephen F. 2021 Universitätsbibliothek Dortmund
• Parameterised complexity of model checking and satisfiability in propositional dependence logic
  Mahmood, Yasir ; Meier, Arne 2021 Gottfried Wilhelm Leibniz Universität Hannover
• Checking the system behaviour using a numerical model – Überprüfung des Systemverhaltens anhand eines numerischen Modells
  Brandtner, Markus ; Lenz, Gerold
• Interval regression model adequacy checking and its application to estimate school dropout in Brazilian municipality educational scenario
  Nascimento, Rafaella L. S. do ; Fagundes, Roberta A. de A. ; Souza, Renata M. C. R. de ; Cysneiros, Francisco José A.
• Cyber-Physical System Design from an Architecture Analysis Viewpoint – Communications of NII Shonan Meetings
  Nakajima, Shin ; Talpin, Jean-Pierre ; Toyoshima, Masumi ; Yu, Huafeng 2017 Springer Singapore
• Bayesian Methods for the Physical Sciences – Learning from Examples in Astronomy and Physics
  Andreon, Stefano ; Weaver, Brian P. 2015 Springer International Publishing
• Infinite state model checking of propositional dynamic logics
  Göller, Stefan ; Lohrey, Markus 2006 Universitätsbibliothek der Universität Stuttgart