„Model-checking“

Suchergebnisse

1.904 Treffer

• Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
  Voigt, Marco ; Weidenbach, Christoph 2019 Saarländische Universitäts- und Landesbibliothek
• Vergleich von Algorithmen für den Leerheitstest von Büchiautomaten
  Gaiser, Andreas 2007 Universitätsbibliothek der Universität Stuttgart
• Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
  Draheim, Dirk 2017 Springer Berlin Heidelberg
• Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking – Springer International Publishing AG, Cham, Switzerland, 2018, xxiv+1210 pp, ISBN 978-3-319-10574-1 (Hardcover, 2.13 kg), ISBN 978-3-319-10575-8 (eBook, PDF). https://doi.org/10.1007/978-3-319-10575-8
  Konnov, Igor
• Concept for a meta-model-based eclipse software modeling environment enabling model checking for the development of embedded aircraft software
  Galler, Jan-Moritz ; Frey, Andreas ; Margull, Ulrich 2021 Technische Hochschule Ingolstadt
• An improved approach to predicting more reliable project timelines in the presence of resource constraints
  Vogl, Ulrich 2025 Dr. Hut
• Structural vector autoregressions – Checking identifying long-run restrictions via heteroskedasticity
  Lütkepohl, Helmut ; Velinov, Anton 2014 Deutsches Institut für Wirtschaftsforschung (DIW)
• On Algorithmic Applications of ℱ-Branchwidth
  Bergougnoux, Benjamin ; Hamm, Thekla ; Jaffke, Lars ; Lima, Paloma T. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Analysis – 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings
  2003 Springer International Publishing
• From Basic Survival Analytic Theory to a Non-Standard Application
  Zimmermann, Georg 2017 Springer Fachmedien Wiesbaden
• Complete Symbolic Simulation of SystemC Models – Efficient Formal Verification of Finite Non-Terminating Programs
  Herdt, Vladimir 2016 Springer Fachmedien Wiesbaden
• Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems – International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures
  2014 Springer International Publishing
• Computational Science and Its Applications – ICCSA 2014 – 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part II
  2014 Springer International Publishing
• Computational Science and Its Applications – ICCSA 2014 – 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part III
  2014 Springer International Publishing
• Computational Science and Its Applications – ICCSA 2014 – 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part VI
  2014 Springer International Publishing
• Construction and Evolution of Code Generators – A Model-Driven and Service-Oriented Approach
  Jörges, Sven 2013 Springer Berlin Heidelberg
• Verification, Model Checking, and Abstract Interpretation – 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
  Jobstmann, Barbara ; Leino, K. Rustan M. 2012 Springer Berlin Heidelberg
• A System-Theoretic Safety Engineering Approach for Software-Intensive Systems
  Abdulkhaleq, Asim 2017 Cuvillier Verlag
• Transactions on Petri Nets and Other Models of Concurrency XIII
  2018 Springer International Publishing
• Formal Aspects of Component Software – 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
  Bae, Kyungmin 2018 Springer International Publishing