„Weakest Precondition“

Suchergebnisse

11 Treffer

• Bayesian Inference in Quantum Programs
  Gehnen, Christina ; Unruh, Dominique ; Katoen, Joost-Pieter 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Advanced weakest precondition calculi for probabilistic programs
  Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; McIver, Annabelle 2019 Universitätsbibliothek der RWTH Aachen
• Proving correctness of graph programs relative to recursively nested conditions
  Flick, Nils Erik ; Habel, Annegret ; König, Barbara 2016 BIS der Universität Oldenburg
• Weakest Relative Precondition Semantics – Balancing Approved Theory and Realistic Translation Verification
  Wolf, Andreas 2001 Universitätsbibliothek Kiel
• Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control
  Alhabardi, Fahad F. ; Beckmann, Arnold ; Lazar, Bogdan ; Setzer, Anton 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks
  Behaegel, Jonathan ; Comet, Jean-Paul ; Folschette, Maxime 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Proving hypersafety compositionally
  D'Osualdo, Emanuele ; Farzan, Azadeh ; Dreyer, Derek 2022 KOPS Universität Konstanz
• Weakest relative precondition semantics – balancing approved theory and realistic translation verification
  Wolf, Andreas 2001 Inst. für Informatik und Praktische Mathematik
• Weakest preconditions for progress
  Lukkien, Johan J. ; Snepscheut, Jan L. A. van de
• Weakest preconditions for high-level programs
  Habel, Annegret ; Pennemann, Klaus ; Rensink, Arend 2006 Univ., Fak. II, Dep. für Informatik
• General equivalence of expressivity definitions using strongest postconditions resp. weakest preconditions
  Olderog, Ernst-Rüdiger 1980 Inst. für Informatik u. Prakt. Mathematik, Christian-Albrechts-Univ.