Author:
Araragi Tadashi,Cho Seung Mo
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge, MA (2000)
2. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specification for Finite-state Verification. In: The 21st ICSE, pp. 411–420 (1999)
3. Harel, D.: On Visual Formalism. Comm. of ACM, pp. 514–530 (1988)
4. Havelund, K., Rosu, G.: Testing Linear Temporal Logic Formulae on Finite Execution Traces. RIACS Technical Report TR 01-08 (2001)
5. Holzmann, G.: Software Analysis and Model Checking. In: Proc. Computer Aided Verification, pp. 1–16 (2002)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献