Computer Science ›› 2008, Vol. 35 ›› Issue (10): 284-287.
Previous Articles Next Articles
RONG Mei (Shenzhen Tourism College,Jinan University,Shenzhen 518053,China)
Online:
Published:
Abstract: Specification patterns system is a pattern system, which is abstracted from program properties according to property's semantic. It is used to describe program properties. Programmers can easily use it. And it has corresponding LTL formula. At present, it
Key words: SPS, Program properties,Formal method,SPIN
RONG Mei (Shenzhen Tourism College,Jinan University,Shenzhen 518053,China). [J].Computer Science, 2008, 35(10): 284-287.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2008/V35/I10/284
Cited