„Dynamic Verification“

Suchergebnisse

397 Treffer

• Numerical Modeling of Free Surface Dynamics of Melt in an Alternate Electromagnetic Field: Part I. Implementation and Verification of Model
  Spitans, Sergejs ; Jakovics, Andris ; Baake, Egbert ; Nacke, Bernard
• A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson
  Arvay, Barnabas ; Doan, Thi Thu Ha ; Thiemann, Peter 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lightweight Support for Magic Wands in an Automatic Verifier
  Schwerhoff, Malte ; Summers, Alexander J. 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 10161 Abstracts Collection – Decision Procedures in Software, Hardware and Bioware
  Bjorner, Nikolaj ; Nieuwenhuis, Robert ; Veith, Helmut ; Voronkov, Andrei
• Quantifiying the Robustness of Dynamical Systems. Relating Time and Space to Length and Precision
  Blanc, Manon ; Bournez, Olivier 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Robust Positivity Problems for Linear Recurrence Sequences: The Frontiers of Decidability for Explicitly Given Neighbourhoods
  Vahanwala, Mihir 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lightweight Support for Magic Wands in an Automatic Verifier (Artifact)
  Schwerhoff, Malte ; Summers, Alexander J.
• Integrating scenario- and contract-based verification for automated vessels
  Hake, Georg ; Reiher, David ; Mentjes, Jan ; Hahn, Axel
• Dynamic Probabilistic Input Output Automata
  Civit, Pierre ; Potop-Butucaru, Maria 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Robustness for the Skolem and Positivity Problems
  Akshay, S. ; Bazille, Hugo ; Genest, Blaise ; Vahanwala, Mihir 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication
  Schultz, William ; Zhou, Siyuan ; Tripakis, Stavros 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of Bounded Context Switching with Dynamic Thread Creation
  Baumann, Pascal ; Majumdar, Rupak ; Thinniyam, Ramanathan S. ; Zetzsche, Georg 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lifestate: Event-Driven Protocols and Callback Control Flow
  Meier, Shawn ; Mover, Sergio ; Chang, Bor-Yuh Evan 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes
  Esmaeil Zadeh Soudjani, Sadegh ; Abate, Alessandro ; Majumdar, Rupak 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of Dynamic Register Automata
  Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Kara, Ahmet ; Rezine, Othmane 2014 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
• Locally Static, Globally Dynamic Session Types for Active Objects
  Hähnle, Reiner ; Haubner, Anton W. ; Kamburjan, Eduard 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Improving Run-time Checking in Dynamic Languages
  Stulova, Nataliia 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dynamic Clock Elimination in Parametric Timed Automata
  André, Étienne 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Abstracting Continuous Nonpolynomial Dynamical Systems
  Denman, William 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik