Verification of safety properties for concurrent assembly code.

Dachuan Yu Zhong Shao

Published in: ICFP (2004)

Keyphrases

source code
structural properties
desirable properties
database
data sets
multiscale
model checking
asynchronous circuits
concurrent programs