Compositional Verification of a Lock-Free Stack with RGITL - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Bogdan Tofan, Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif. Compositional Verification of a Lock-Free Stack with RGITL. ECEASST, 66, 2013. [doi]

The following publications are possibly variants of this publication:

Compositional Concurrent Program Verification with RGITLBogdan Tofan. PhD thesis, University of Augsburg, 2014. [doi]

Formal Verification of a Lock-Free Stack with Hazard PointersBogdan Tofan, Gerhard Schellhorn, Wolfgang Reif. ictac 2011: 239-255 [doi]

RGITL: A temporal logic framework for compositional reasoning about interleaved programsGerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Jörg Pfähler, Wolfgang Reif. AMAI, 71(1-3):131-174, 2014. [doi]

runs on WebDSL