Simple on-the-fly automatic verification of linear temporal logic. Proc. Symposium on Protocol Specification, Testing, and Verification, PSTV, Warsaw, Poland, pp. 3-18, 1995. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Automating Software Feature Verification - Holzmann, Smith (2000) (9 citations) (Correct)
.... logic: offhook X ( dialtone onhook) offhook X ( dialtone onhook) offhook X ( dialtone onhook) offhook X ( dialtone onhook) offhook X ( dialtone onhook) offhook X ( dialtone onhook) This negated formula can be converted mechanically [GPVW95] into a 2 state w automaton, illustrated in Figure 4, which is used in the model checking process (side box A) s 0 s 1 offhook true dialtone onhook Fig. 4 Property Automaton. This w automaton [T90] automatically extracted from a temporal logic formula, defines the class of ....
Simple on-the-fly automatic verification of linear temporal logic. Proc. Symposium on Protocol Specification, Testing, and Verification, PSTV, Warsaw, Poland, pp. 3-18, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC