Verifying correctness of persistent concurrent data structures: a sound and complete method.
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. Formal Aspects of Computing, Volume 33, Issue 4-5, 547–573. 2021
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. Formal Aspects of Computing, Volume 33, Issue 4-5, 547–573. 2021
Stefan Zetzsche, Gerco van Heerdt, Matteo Sammartino, and Alexandra Silva. EPTCS 351, 2021, 296-313. 2021
Matt Windsor, Alastair F. Donaldson, and John Wickerson. ISSTA 2021: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2021, [...]
Wilmer Ricciotti & James Cheney. In: Yoshida, N. (eds) Programming Languages and Systems. ESOP 2021, vol 12648, 579–606. 2021
Kristoffer Just Arndal Andersen and Ilya Sergey. Journal of Functional Programming, 31, E3, 2021. 2021
Thomas Bauereiss and Andrei Popescu. Arch. Formal Proofs 2021. 2021
Thomas Bauereiss and Andrei Popescu. Arch. Formal Proofs 2021. 2021
Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. Logical Methods in Computer Science, July 28, 2022, Volume 18, Issue 3. [...]
Wilmer Ricciotti and James Cheney. Journal of Automated Reasoning 66, 989–1030. 2022
Hans-J. Boehm, Ori Lahav, and Azalea Raad. In Dagstuhl Reports, Volume 11, Issue 10, pp. 94-110, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022) 2022
The Research Institute on
Verified Trustworthy Software Systems
The Research Institute on
Verified Trustworthy Software Systems
© Copyright 2024 • Made with by Envious Digital