„Program verification“

Suchergebnisse

1.065 Treffer

• ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs
  Suchert, Felix ; Zeidler, Lisza ; Castrillon, Jeronimo ; Ertel, Sebastian 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Information Flow Analysis for Detecting Non-Determinism in Blockchain
  Olivieri, Luca ; Negrini, Luca ; Arceri, Vincenzo ; Tagliaferro, Fabio ; Ferrara, Pietro ; Cortesi, Agostino ; Spoto, Fausto 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs
  Mishra, Ashish ; Jagannathan, Suresh 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding
  Maksimović, Petar ; Cronjäger, Caroline ; Lööw, Andreas ; Sutherland, Julian ; Gardner, Philippa 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Checking Refinement of Asynchronous Programs Against Context-Free Specifications
  Baumann, Pascal ; Ganardi, Moses ; Majumdar, Rupak ; Thinniyam, Ramanathan S. ; Zetzsche, Georg 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Contracts in the Wild: A Study of Java Programs (Artifact)
  Dietrich, Jens ; Pearce, David J. ; Jezek, Kamil ; Brada, Premek
• Double salted HMAC signature with blockchain for faster and secure video integrity verification
  Lawrence, Linju ; Shreelekshmi, R.
• Slicing of Probabilistic Programs Based on Specifications (Extended Abstract)
  Navarro, Marcelo ; Olmedo, Federico 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• REST: Integrating Term Rewriting with Program Verification
  Grannan, Zachary ; Vazou, Niki ; Darulova, Eva ; Summers, Alexander J. 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verified Compilation and Optimization of Floating-Point Programs in CakeML
  Becker, Heiko ; Rabe, Robert ; Darulova, Eva ; Myreen, Magnus O. ; Tatlock, Zachary ; Kumar, Ramana ; Tan, Yong Kiam ; Fox, Anthony 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Gradual Program Analysis for Null Pointers
  Estep, Sam ; Wise, Jenna ; Aldrich, Jonathan ; Tanter, Éric ; Bader, Johannes ; Sunshine, Joshua 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Proving Quantum Programs Correct
  Hietala, Kesha ; Rand, Robert ; Hung, Shih-Han ; Li, Liyi ; Hicks, Michael 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The CakeML Project’s Quest for Ever Stronger Correctness Theorems (Invited Paper)
  Myreen, Magnus O. 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks
  Lathrop, James I. ; Lutz, Jack H. ; Lutz, Robyn R. ; Potter, Hugh D. ; Riley, Matthew R. 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
• 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
• Reachability in Concurrent Uninterpreted Programs
  La Torre, Salvatore ; Parthasarathy, Madhusudan 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Characteristic Formulae for Liveness Properties of Non-Terminating CakeML Programs
  Åman Pohjola, Johannes ; Rostedt, Henrik ; Myreen, Magnus O. 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Refinement with Time - Refining the Run-Time of Algorithms in Isabelle/HOL
  Haslbeck, Maximilian P. L. ; Lammich, Peter 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Proof and Analysis of an Incremental Cycle Detection Algorithm
  Guéneau, Armaël ; Jourdan, Jacques-Henri ; Charguéraud, Arthur ; Pottier, François 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik