-
1
-
-
0004025792
-
-
Cambridge University Press
-
J.-R. Abrial. The B-Book. Cambridge University Press, 1996.
-
(1996)
The B-Book
-
-
Abrial, J.-R.1
-
3
-
-
49149133038
-
The temporal logic of concurrent programs
-
A.Pnueli. The temporal logic of concurrent programs. Theoretical Computer Science, 13:45-60, 1981.
-
(1981)
Theoretical Computer Science
, vol.13
, pp. 45-60
-
-
Pnueli, A.1
-
4
-
-
0026913667
-
Symbolic boolean manipulation with ordered binary-decision diagrams
-
September
-
R. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293-318, September 1992.
-
(1992)
ACM Computing Surveys
, vol.24
, Issue.3
, pp. 293-318
-
-
Bryant, R.1
-
5
-
-
0002215284
-
Action systems, unbounded nondeterminism, and infinite traces
-
M. Butler and C. Morgan. Action systems, unbounded nondeterminism, and infinite traces. Formal Aspects of Computing, 7:37-53, 1995.
-
(1995)
Formal Aspects of Computing
, vol.7
, pp. 37-53
-
-
Butler, M.1
Morgan, C.2
-
7
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic specifications
-
E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
-
(1986)
ACM Transactions on Programming Languages and Systems
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
8
-
-
0000289556
-
Formal methods: State of the art and future directions
-
Dec.
-
E. M. Clarke and J. M. Wing. Formal methods: State of the art and future directions. ACM Computing Surveys, 28(4):626-643, Dec. 1996.
-
(1996)
ACM Computing Surveys
, vol.28
, Issue.4
, pp. 626-643
-
-
Clarke, E.M.1
Wing, J.M.2
-
10
-
-
84881157167
-
How to make FDR spin: LTL model checking of CSP by refinement
-
Department of Electronics and Computer Science, University of Southampton, September
-
M. Leuschel, T. Massart, and A. Currie. How to make FDR spin: LTL model checking of CSP by refinement. Technical Report DSSE-TR-2000-10, Department of Electronics and Computer Science, University of Southampton, September 2000.
-
(2000)
Technical Report DSSE-TR-2000-10
-
-
Leuschel, M.1
Massart, T.2
Currie, A.3
-
11
-
-
0031380305
-
Decidability of model-checking for infinite-state concurrent systems
-
J. Esparza. Decidability of model-checking for infinite-state concurrent systems. Acta Informatica, 34:85-107, 1997.
-
(1997)
Acta Informatica
, vol.34
, pp. 85-107
-
-
Esparza, J.1
-
13
-
-
0002147440
-
Simple on-the-fly automatic verification of linear temporal logic
-
June North-Holland
-
R. Gerth, D. Peled, M. Y. Vardi, and P. Wolper. Simple on-the-fly automatic verification of linear temporal logic. In Proc. 15th Workshop on Protocol Specification, Testing, and Verification, Warsaw, June 1995. North-Holland.
-
(1995)
Proc. 15th Workshop on Protocol Specification, Testing, and Verification, Warsaw
-
-
Gerth, R.1
Peled, D.2
Vardi, M.Y.3
Wolper, P.4
-
16
-
-
0013150935
-
Infinite state model checking by abstract interpretation and program specialisation
-
A. Bossi, editor, Venice, Italy, September 1999
-
M. Leuschel and T. Massart. Infinite state model checking by abstract interpretation and program specialisation. In A. Bossi, editor, Proceedings of LOPSTR'99, LNCS 1817, pages 63-82, Venice, Italy, September 1999.
-
(1817)
Proceedings of LOPSTR'99, LNCS
, pp. 63-82
-
-
Leuschel, M.1
Massart, T.2
-
22
-
-
0022092438
-
The complexity of propositional linear temporal logics
-
July
-
A. P. Sistla and E. M. Clarke. The complexity of propositional linear temporal logics. Journal of the ACM, 32(3):733-749, July 1985.
-
(1985)
Journal of the ACM
, vol.32
, Issue.3
, pp. 733-749
-
-
Sistla, A.P.1
Clarke, E.M.2
-
23
-
-
85029421081
-
On-the-fly verification with stubborn sets
-
C. Courcoubetis, editor, Springer-Verlag
-
A. Valmari. On-the-fly verification with stubborn sets. In C. Courcoubetis, editor, Proceedings of CAV'93, LNCS 697, pages 397-408. Springer-Verlag, 1993.
-
(1993)
Proceedings of CAV'93, LNCS 697
, pp. 397-408
-
-
Valmari, A.1
-
24
-
-
0022987223
-
An automata-theoretic approach to automatic program verification
-
M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proceedings of LICS'86, pages 332-344, 1986.
-
(1986)
Proceedings of LICS'86
, pp. 332-344
-
-
Vardi, M.Y.1
Wolper, P.2
|