„rely-guarantee reasoning“

Suchergebnisse

8 Treffer

• Interleaved programs and rely-guarantee reasoning with ITL
  Schellhorn, Gerhard ; Tofan, Bogdan ; Ernst, Gidon ; Reif, Wolfgang ; Combi, Carlo ; Leucker, Martin ; Wolter, Frank 2011 Universität Augsburg
• Compositional Concurrent Program Verification with RGITL
  Tofan, Bogdan ; Reif, Wolfgang 2014 Universität Augsburg
• On the relation of rely-guarantee and assume-guarantee reasoning
  Eissing, Marcel ; Verscht, Lena ; Mertens, Hannah ; Katoen, Joost-Pieter ; Noll, Thomas 2025 Universitätsbibliothek der RWTH Aachen
• Embedding Rely-Guarantee Reasoning in Temporal Logic
  Tofan, Bogdan ; Schellhorn, Gerhard ; Bäumler, Simon ; Reif, Wolfgang 2010 Universität Augsburg
• Verifying Linearizability and Lock-Freedom with Temporal Logic
  Tofan, Bogdan ; Bäumler, Simon ; Schellhorn, Gerhard ; Reif, Wolfgang 2009 Universität Augsburg
• Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning
  Flanagan, Cormac ; Freund, Stephen N. 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Rely/Guarantee Reasoning for Asynchronous Programs
  Gavran, Ivan ; Niksic, Filip ; Kanade, Aditya ; Majumdar, Rupak ; Vafeiadis, Viktor 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning
  Dingel, J. ; Garlan, D. ; Jha, S. ; Notkin, D.