Coq development for 'Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations'
2021
Online
unknown
Zugriff:
Titel: |
Coq development for 'Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations'
|
---|---|
Autor/in / Beteiligte Person: | Gäher, L. ; Sammler, M. ; Spies, S. ; Jung, R. ; Dang, H. H. ; Krebbers, R.J. ; Kang, J. ; Dreyer, D. |
Link: | |
Veröffentlichung: | 2021 |
Medientyp: | unknown |
DOI: | 10.5281/zenodo.5667545 |
Sonstiges: |
|