Tsinghua University Press Ltd. - Verification of concurrent assembly programs with a Petri net based safety policy

Author(s): Shengyuan Wang ; Yingyi Liang ; Yuan Dong
Publisher: Tsinghua University Press Ltd.
Publication Date: 1 December 2007
Volume: 12
Page(s): 684 - 690
ISSN (Electronic): 1007-0214
DOI: 10.1016/S1007-0214(07)70176-1

Concurrent programs written in a machine level language are being used in many areas but verification of such programs brings new challenges to the programming language community. Most of the... View More