Formal verification of parallel stream compaction and summed-area table algorithms
type: Item
instance of: scholarly article
title: Formal verification of parallel stream compaction and summed-area table algorithms
DOI: 10.1007/978-3-030-64276-1_10
author: Mohsen Safari
author: Marieke Huisman
publication date: 2021-07-08T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7369989
zbMATH Keywords: GPU verification
zbMATH Keywords: deductive verification
zbMATH Keywords: separation logic
MaRDI profile type: Publication
full work available at URL: 978-3-030-64276-1 10
OpenAlex ID: W3109781407
description: scientific article; zbMATH DE number 7369989