A Consistent and Complete Deductive System for the Verification of Parallel Programs

Susan S. Owicki

Published in: STOC (1976)

Keyphrases

functional programs
sorting algorithms
hardware designs
object oriented
model checking
automatic programming
parallel implementation
provably correct
face verification
symbolic execution
formal verification
programming environment
high level
parallel computing
shared memory
data model
expert systems