-
1
-
-
27644510684
-
Parametric temporal logic for model measuring
-
Alur, R., Etessami, K., Torre, S.L., Peled, D.: Parametric temporal logic for model measuring. ACM ToCL 2(3), 388-107 (2001)
-
(2001)
ACM ToCL
, vol.2
, Issue.3
, pp. 388-107
-
-
Alur, R.1
Etessami, K.2
Torre, S.L.3
Peled, D.4
-
3
-
-
2442452621
-
Liveness checking as safety checking
-
Biere, A., Artho, C., Schuppan, V.: Liveness checking as safety checking. In: Proc. 7th FMICS, ENTCS, vol. 66(2) (2002)
-
(2002)
Proc. 7th FMICS, ENTCS
, vol.66
, Issue.2
-
-
Biere, A.1
Artho, C.2
Schuppan, V.3
-
4
-
-
84987599101
-
-
Beer, I., Ben-David, S., Geist, D., Gewirtzman, R., Yoeli, M.: Methodology and system for practical formal verification of reactive hardware. In: Dill, D.L. (ed.) CAV 1994. LNCS, 818, pp. 182-193. Springer, Heidelberg (1994)
-
Beer, I., Ben-David, S., Geist, D., Gewirtzman, R., Yoeli, M.: Methodology and system for practical formal verification of reactive hardware. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol. 818, pp. 182-193. Springer, Heidelberg (1994)
-
-
-
-
5
-
-
84947241825
-
An algorithm for strongly connected component analysis in n log n symbolic steps
-
Johnson, S.D, Hunt, Jr, W.A, eds, FMCAD 2000, Springer, Heidelberg
-
Bloem, R., Gabow, H.N., Somenzi, F.: An algorithm for strongly connected component analysis in n log n symbolic steps. In: Johnson, S.D., Hunt, Jr., W.A. (eds.) FMCAD 2000. LNCS, vol. 1954, pp. 37-54. Springer, Heidelberg (2000)
-
(2000)
LNCS
, vol.1954
, pp. 37-54
-
-
Bloem, R.1
Gabow, H.N.2
Somenzi, F.3
-
6
-
-
84968476508
-
Solving sequential conditions by finite-state strategies
-
Büchi, J.R., Landweber, L.HG.: Solving sequential conditions by finite-state strategies. Trans. AMS 138, 295-311 (1969)
-
(1969)
Trans. AMS
, vol.138
, pp. 295-311
-
-
Büchi, J.R.1
Landweber, L.H.2
-
8
-
-
0022956502
-
Efficient model checking in fragments of the propositional μ-calculus
-
Emerson, E.A., Lei, C.-L.: Efficient model checking in fragments of the propositional μ-calculus. In: Proc. 1st LICS, pp. 267-278 (1986)
-
(1986)
Proc. 1st LICS
, pp. 267-278
-
-
Emerson, E.A.1
Lei, C.-L.2
-
9
-
-
84969334919
-
-
Emerson, E.A., Mok, A.K., Sistla, A.P., Srinivasan, J.: Quantitative temporal reasoning. In: Clarke, E., Kurshan, R.P. (eds.) CAV 1990. LNCS, 531, pp. 136-145. Springer, Heidelberg (1991)
-
Emerson, E.A., Mok, A.K., Sistla, A.P., Srinivasan, J.: Quantitative temporal reasoning. In: Clarke, E., Kurshan, R.P. (eds.) CAV 1990. LNCS, vol. 531, pp. 136-145. Springer, Heidelberg (1991)
-
-
-
-
11
-
-
85047040703
-
The temporal logic of programs
-
Pnueli, A.: The temporal logic of programs. In: Proc. 18th FOCS, pp. 46-57 (1977)
-
(1977)
Proc. 18th FOCS
, pp. 46-57
-
-
Pnueli, A.1
-
12
-
-
38149073840
-
-
Pnueli, A.: In: Transition from global to modular temporal reasoning about programs. Logics and Models of Concurrent Systems, F-13 of NATO Advanced Summer Institutes, pp. 123-144 (1985)
-
Pnueli, A.: In: Transition from global to modular temporal reasoning about programs. Logics and Models of Concurrent Systems, vol. F-13 of NATO Advanced Summer Institutes, pp. 123-144 (1985)
-
-
-
-
13
-
-
0024864157
-
On the synthesis of a reactive module
-
Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Proc. 16th POPL, pp. 179-190 (1989)
-
(1989)
Proc. 16th POPL
, pp. 179-190
-
-
Pnueli, A.1
Rosner, R.2
-
14
-
-
0001790593
-
Depth first search and linear graph algorithms
-
Tarjan, R.E.: Depth first search and linear graph algorithms. SIAM Journal of Computing 1(2), 146-160 (1972)
-
(1972)
SIAM Journal of Computing
, vol.1
, Issue.2
, pp. 146-160
-
-
Tarjan, R.E.1
-
15
-
-
36349024585
-
Automata-theoretic model checking revisited
-
Cook, B, Podelski, A, eds, VMCAI 2007, Springer, Heidelberg
-
Vardi, M.Y.: Automata-theoretic model checking revisited. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol. 4349, pp. 137-150. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4349
, pp. 137-150
-
-
Vardi, M.Y.1
-
16
-
-
0022987223
-
An automata-theoretic approach to automatic program verification
-
Vardi, M.Y., Wolper, P.: An automata-theoretic approach to automatic program verification. In: Proc. 1st LICS, pp. 332-344 (1986)
-
(1986)
Proc. 1st LICS
, pp. 332-344
-
-
Vardi, M.Y.1
Wolper, P.2
-
17
-
-
0001909357
-
Reasoning about infinite computations
-
Vardi, M.Y., Wolper, P.: Reasoning about infinite computations. I&C 115(1), 1-37 (1994)
-
(1994)
I&C
, vol.115
, Issue.1
, pp. 1-37
-
-
Vardi, M.Y.1
Wolper, P.2
|