„Model-checking“

Suchergebnisse

1.904 Treffer

• Incremental bounded model checking for embedded software
  Schrammel, Peter ; Kroening, Daniel ; Brain, Martin ; Martins, Ruben ; Teige, Tino ; Bienmüller, Tom
• Lazy Probabilistic Model Checking without Determinisation
  Hahn, Ernst Moritz ; Li, Guangyuan ; Schewe, Sven ; Turrini, Andrea ; Zhang, Lijun 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Language-independent look-ahead for checking multi-perspective declarative process models
  Käppel, Martin ; Ackermann, Lars ; Schönig, Stefan ; Jablonski, Stefan
• Enhancing the effectiveness of STLs for GPUs via bounded model checking
  Deligiannis, Nikolaos Ioannis ; Faller, Tobias ; Rodriguez Condia, Josie Esteban ; Cantoro, Riccardo ; Becker, Bernd ; Sonza Reorda, Matteo 2025 Universität
• Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
  Beyer, Dirk ; Lee, Nian-Ze ; Wendler, Philipp
• Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity
  Virtema, Jonni ; Hofmann, Jana ; Finkbeiner, Bernd ; Kontinen, Juha ; Yang, Fan 2021 Gottfried Wilhelm Leibniz Universität Hannover
• Promptness and Fairness in Muller LTL Formulas
  Busatto-Gaston, Damien ; Oualhadj, Youssouf ; Tible, Léo ; Varacca, Daniele 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Unifying Asynchronous Logics for Hyperproperties
  Bombardelli, Alberto ; Bozzelli, Laura ; Sánchez, César ; Tonetta, Stefano 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Language for Explaining Counterexamples
  Veloso Ferreira Moreira, Ezequiel José ; Campos, José Creissac 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Distributed Model Checking on Graphs of Bounded Treedepth
  Fomin, Fedor V. ; Fraigniaud, Pierre ; Montealegre, Pedro ; Rapaport, Ivan ; Todinca, Ioan 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model Checking Linear Temporal Properties on Polyhedral Systems
  Benerecetti, Massimo ; Faella, Marco ; Mogavero, Fabio 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computing Inductive Invariants of Regular Abstraction Frameworks
  Czerner, Philipp ; Esparza, Javier ; Krasotin, Valentin ; Welzel-Mohr, Christoph 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
  Akshay, S. ; Gastin, Paul ; Govind, R. ; Srivathsan, B. 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Classes of Bounded Tree Rank, Their Interpretations, and Efficient Sparsification
  Gajarský, Jakub ; McCarty, Rose 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Solving a Family Of Multivariate Optimization and Decision Problems on Classes of Bounded Expansion
  Mock, Daniel ; Rossmanith, Peter 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity
  Virtema, Jonni ; Hofmann, Jana ; Finkbeiner, Bernd ; Kontinen, Juha ; Yang, Fan 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes
  Bozzelli, Laura ; Montanari, Angelo ; Peron, Adriano ; Sala, Pietro 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
  Bozzelli, Laura ; Molinari, Alberto ; Montanari, Angelo ; Peron, Adriano ; Sala, Pietro 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Deduction and Infinite-state Model Checking (Dagstuhl Seminar 03171)
  Kapur, Deepak ; Podelski, Andreas ; Voronkov, Andrei 2003 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bayesian hierarchical models for predicting individual performance in soccer
  Egidi, Leonardo ; Gabry, Jonah