„Model Checking“

Suchergebnisse

1.904 Treffer

• Hardware and Software: Verification and Testing – 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
  Bertacco, Valeria ; Legay, Axel 2013 Springer International Publishing
• Automated Reasoning – 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings
  2014 Springer International Publishing
• Entwicklung einer Modellierungsrichtlinie für Objekte des Freiraums für den BIM-basierten Bauantrag am Beispiel der Außenanlagenplanung des Bauvorhabens ,Elbtower‘ in Hamburg
  Brückner, Ilona ; Remy, Matthias 2021 Hochschule Osnabrück
• An improved approach to predicting more reliable project timelines in the presence of resource constraints
  Vogl, Ulrich 2025 Verlag Dr. Hut
• Verification, Model Checking, and Abstract Interpretation – 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
  2019 Springer International Publishing
• Conformance Checking and Diagnosis in Process Mining – Comparing Observed and Modeled Processes
  Munoz-Gama, Jorge 2016 Springer International Publishing
• Transactions on Petri Nets and Other Models of Concurrency VI
  2012 Springer Berlin Heidelberg
• Computational Methods in Systems Biology – 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings
  Češka, Milan ; Šafránek, David 2018 Springer International Publishing
• Prophecies All the Way: Game-Based Model-Checking for HyperQPTL Beyond ∀*∃*
  Winter, Sarah ; Zimmermann, Martin 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Arbitrary-Arity Tree Automata for QCTL
  Laroussinie, François ; Markey, Nicolas 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Optimal Concolic Dynamic Partial Order Reduction
  Khoshechin Jorshari, Mohammad Hossein ; Kokologiannakis, Michalis ; Majumdar, Rupak ; Nagendra, Srinidhi 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Just Verification of Mutual Exclusion Algorithms
  van Glabbeek, Rob ; Luttik, Bas ; Spronck, Myrthe S. C. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model Checking as Program Verification by Abstract Interpretation
  Baldan, Paolo ; Bruni, Roberto ; Ranzato, Francesco ; Rigo, Diletta 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Linear Temporal Logic with Standpoint Modalities (Invited Talk)
  Baier, Christel 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Regular Model Checking for Systems with Effectively Regular Reachability Relation
  Esparza, Javier ; Krasotin, Valentin 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space
  Défago, Xavier ; Heriban, Adam ; Tixeuil, Sébastien ; Wada, Koichi 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Functional and Logic Programming – 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
  2014 Springer International Publishing
• Verification, Model Checking, and Abstract Interpretation – 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I
  2024 Springer Nature Switzerland
• Verification, Model Checking, and Abstract Interpretation – 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
  2024 Springer Nature Switzerland
• Model Checking Software – 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
  2022 Springer International Publishing