„inductive invariants“

Suchergebnisse

18 Treffer

• Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
  Becker, Basil ; Giese, Holger 2012 Universität Potsdam
• Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions
  D'Osualdo, Emanuele ; Stutz, Felix 2020 KOPS Universität Konstanz
• Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
  Batz, Kevin ; Chen, Mingshuai ; Junges, Sebastian ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Matheja, Christoph 2023 Universitätsbibliothek der RWTH Aachen
• Regular Model Checking for Systems with Effectively Regular Reachability Relation
  Esparza, Javier ; Krasotin, Valentin 2025 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
• Invariants for One-Counter Automata with Disequality Tests
  Chistikov, Dmitry ; Leroux, Jérôme ; Sinclair-Banks, Henry ; Waldburger, Nicolas 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Flattability of Priority Vector Addition Systems
  Guttenberg, Roland 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions
  D'Osualdo, Emanuele ; Stutz, Felix 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Decidability and Synthesis of Abstract Inductive Invariants
  Ranzato, Francesco 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Deductive Verification of Continuous Dynamical Systems
  Taly, Ankur ; Tiwari, Ashish 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of graph transformation systems with k-inductive invariants
  Dyck, Johannes ; Giese, Holger ; Rensink, Arend ; Wehrheim, Heike 2020 Universität Potsdam
• k-Inductive invariant checking for graph transformation systems
  Dyck, Johannes ; Giese, Holger 2017 Universität Potsdam
• K-inductive invariant checking for graph transformation systems
  Dyck, Johannes ; Giese, Holger 2017 Universitätsverlag Potsdam
• Inductive verification of data model invariants in web applications using first-order logic
  Bocić, Ivan ; Bultan, Tevfik ; Rosner, Nicolás
• Learning inductive invariants by sampling from frequency distributions
  Fedyukovich, Grigory ; Kaufman, Samuel J. ; Bodík, Rastislav
• Cyber-physical systems with dynamic structure – towards modeling and verification of inductive invariants
  Becker, Basil ; Giese, Holger 2012 Univ.-Verl.
• Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics
  Chatterjee, Satrajit ; Kishinevsky, Michael
• Automatic Generation of Inductive Invariants by SUP(LA) 1
  Fietzke, Arnaud ; Kruglov, Evgeny ; Weidenbach, Christoph 2012 Max-Planck-Institut für Informatik