Formal Verification of Parallel Prefix Sum
Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman
Topics & Concepts
CorrectnessComputer scienceSeparation logicPrefixThread (computing)Parallel computingMulti-core processorPermissionTheoretical computer scienceLinked listAlgorithmProgramming languagePolitical scienceLinguisticsLawPhilosophyParallel Computing and Optimization TechniquesFormal Methods in VerificationLogic, programming, and type systems