Computer Science ›› 2007, Vol. 34 ›› Issue (5): 247-251.
Previous Articles Next Articles
WEN Zhi-Cheng, MIAO Huai-Kou, ZHANG Xin-Lin (School of Computer Engineering and Science,Shanghai University, Shanghai 200072)
Online:
Published:
Abstract: Theorem proof, an important compositive part of formal method, is one kind of formal verification, which can reason about the characters that the formal specification Should hold for formal specification. Therefore, it can verify the formal specification.
Key words: Object-Z, Formal verifihation, Pre-&Post-condition, State space, Operation system of elevator
WEN Zhi-Cheng, MIAO Huai-Kou, ZHANG Xin-Lin (School of Computer Engineering and Science,Shanghai University, Shanghai 200072). [J].Computer Science, 2007, 34(5): 247-251.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2007/V34/I5/247
Cited