Formal Verification of Parallel Prefix Sum.

Mohsen Safari Wytse Oortwijn Sebastiaan J. C. Joosten Marieke Huisman

Published in: NFM (2020)

Keyphrases

first order logic
formal verification
model checking
model checker
data structure
bounded model checking
automated verification
program slicing
symbolic model checking
parallel processing
weighted sum
objective function
temporal logic
shared memory
rough sets
formal specification