E-LIB Suche - Ergebnisse für: Schellhorn, Gerhard

1

Refinement and Separation: Modular Verification of Wanderin..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Schellhorn, Gerhard ; Bodenmüller, Stefan ; Reif, Wolfgang - p. 214-234 , 2023

Link: https://doi.org/10.1007/..

2

Separating Separation Logic – Modular Verification of Red-B..:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools and Experiments.,

Schellhorn, Gerhard ; Bodenmüller, Stefan ; Bitterlich, Martin. - p. 129-147 , 2023

Link: https://doi.org/10.1007/..

3

Thread-Local, Step-Local Proof Obligations for Refinement o..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Schellhorn, Gerhard ; Bodenmüller, Stefan ; Reif, Wolfgang - p. 70-87 , 2023

Link: https://doi.org/10.1007/..

4

A Fully Verified Persistency Library:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Bodenmüller, Stefan ; Derrick, John ; Dongol, Brijesh.. - p. 26-47 , 2023

Link: https://doi.org/10.1007/..

5

Verification of Crashsafe Caching in a Virtual File System ..:

Bodenmüller, Stefan ; Schellhorn, Gerhard ; Reif, Wolfgang
Formal Aspects of Computing. 34 (2022) 1 - p. 1-33 , 2022

Link: https://doi.org/10.1145/..

6

Software & System Verification with KIV:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,

Schellhorn, Gerhard ; Bodenmüller, Stefan ; Bitterlich, Martin. - p. 408-436 , 2022

Link: https://doi.org/10.1007/..

7

Modularising Verification Of Durable Opacity:

Bila, Eleni ; Derrick, John ; Doherty, Simon...
Logical Methods in Computer Science. 18, Issue 3 (2022) - p. , 2022

Link: https://doi.org/10.46298..

8

Flashix: Modular Verification of a Concurrent and Crash-Saf..:

, In: Logic, Computation and Rigorous Methods; Lecture Notes in Computer Science,

Bodenmüller, Stefan ; Schellhorn, Gerhard ; Bitterlich, Martin. - p. 239-265 , 2021

Link: https://doi.org/10.1007/..

9

Verifying correctness of persistent concurrent data structu..:

Derrick, John ; Doherty, Simon ; Dongol, Brijesh..
Formal Aspects of Computing. 33 (2021) 4-5 - p. 547-573 , 2021

Link: https://doi.org/10.1007/..

10

Defining and Verifying Durable Opacity: Correctness for Per..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Bila, Eleni ; Doherty, Simon ; Dongol, Brijesh... - p. 39-58 , 2020

Link: https://doi.org/10.1007/..

11

Modular Integration of Crashsafe Caching into a Verified Vi..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Bodenmüller, Stefan ; Schellhorn, Gerhard ; Reif, Wolfgang - p. 218-236 , 2020

Link: https://doi.org/10.1007/..

12

Adding Concurrency to a Sequential Refinement Tower:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Schellhorn, Gerhard ; Bodenmüller, Stefan ; Pfähler, Jörg. - p. 6-23 , 2020

Link: https://doi.org/10.1007/..

13

Verifying Correctness of Persistent Concurrent Data Structu..:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,

Derrick, John ; Doherty, Simon ; Dongol, Brijesh.. - p. 179-195 , 2019

Link: https://doi.org/10.1007/..

14

Symbolic execution for a clash-free subset of ASMs:

Schellhorn, Gerhard ; Ernst, Gidon ; Pfähler, Jörg..
Science of Computer Programming. 158 (2018) - p. 21-40 , 2018

Link: https://doi.org/10.1016/..

15

Mechanized proofs of opacity: a comparison of two technique:

Derrick, John ; Doherty, Simon ; Dongol, Brijesh...
Formal Aspects of Computing. 30 (2018) 5 - p. 597-625 , 2018

Link: https://doi.org/10.1007/..