Formal Verification of Parallel Prefix Sum

Download
Full text (published version) (PDF, 732.5Kb)
Thumbnail
Open access
Author
Mohsen, Safari
Oortwijn, Wytse
Joosten, Sebastiaan J.C.
Huisman, Marieke
Show all
Date
2020
Type
    Conference Paper
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000465636
Publication status
published
External links
Editor
Lee, Ritchie
Jha, Susmit
Mavridou, Anastasia
Giannakopoulou, Dimitra
Book title
NASA Formal Methods 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Journal / series
Lecture Notes in Computer Science
Volume
12229
Pages / Article No.
170 - 186
Publisher
Springer
Event
12th NASA Formal Methods Symposium (NFM 2020) (virtual), Moffett Field, CA, USA, May 11-15, 2020
Organisational unit
03653 - Müller, Peter / Müller, Peter  
Notes
Conference lecture held on May 13, 2020. Due to the Coronavirus (COVID-19) the conference was conducted virtually.
More
Show all metadata
ETH Bibliography
yes
Altmetrics