„Separation logic“

Suchergebnisse

1.000+ Treffer

• VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs
  Cao, Qinxiang ; Beringer, Lennart ; Gruetter, Samuel ; Dodds, Josiah ; Appel, Andrew W.
• An optical DNA logic gate based on strand displacement and magnetic separation, with response to multiple microRNAs in cancer cell lysates
  Ji, Xiaoting ; Lv, Haoyuan ; Ma, Minghui ; Lv, Binglin ; Ding, Caifeng
• Automated reasoning and randomization in separation logic
  Matheja, Christoph ; Katoen, Joost-Pieter ; Iosif, Radu 2020 Universitätsbibliothek der RWTH Aachen
• Leveraging Logical and Physical Separation for Mobile Security
  Horsch, Julian Maxim ; Eckert, Claudia ; Baumgarten, Uwe 2019 Universitätsbibliothek der TU München
• Algebraic Calculi for Separation Logic
  Dang, Han Hing ; Möller, Bernhard 2015 Universität Augsburg
• Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact)
  Young, David ; Yang, Ziyi ; Sergey, Ilya ; Potanin, Alex
• Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
  Young, David ; Yang, Ziyi ; Sergey, Ilya ; Potanin, Alex 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Programming Languages and Systems – 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings
  2023 Springer Berlin Heidelberg
• Programming Languages and Systems – 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 Springer Berlin Heidelberg
• Programming Languages and Systems – 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
  Seidl, Helmut 2011 Springer Berlin Heidelberg
• Towards Concurrent Quantitative Separation Logic
  Fesefeldt, Ira Justus ; Katoen, Joost-Pieter ; Noll, Thomas 2022 Universitätsbibliothek der RWTH Aachen
• Foundations for Entailment Checking in Quantitative Separation Logic
  Batz, Kevin ; Fesefeldt, Ira Justus ; Jansen, Marvin ; Katoen, Joost-Pieter ; Keßler, Florian ; Matheja, Christoph ; Noll, Thomas 2022 Universitätsbibliothek der RWTH Aachen
• Entailments in quantitative separation logic with recursive definitions: constructing cyclyc proofs
  Nossol, Patrick ; Noll, Thomas ; Katoen, Joost-Pieter ; Fesefeldt, Ira Justus 2024 Universitätsbibliothek der RWTH Aachen
• Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
  Jansen, Christina ; Katoen, Joost-Pieter ; Huisman, Marieke ; Noll, Thomas 2017 Universitätsbibliothek der RWTH Aachen
• Parity games, separations, and the modal μ-calculus
  Dittmann, Christoph ; Kreutzer, Stephan ; Grädel, Erich ; Nestmann, Uwe 2017 Universitätsverlag der TU Berlin
• First-order Hybrid Separation Logic
  Boer, Frank S. de ; Hiep, Hans-Dieter A.
• Separation of Drops in a Mesh Demister with Vortex Generators
  Morenko, I. V.
• Interpolation and Separation Problems for Linear Temporal Logics (Invited Talk)
  Zacharjaščev, Michail V. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Shaking up the foundations of modern separation logic
  Spies, Simon Philipp ; Dreyer, Derek 2025 Saarländische Universitäts- und Landesbibliothek
• Scaling up relaxed memory verification with separation logics
  Dang, Hoang Hai ; Dreyer, Derek 2024 Saarländische Universitäts- und Landesbibliothek