-
1
-
-
85028774562
-
Model Checking and Boolean Graphs
-
Andersen, H. “Model Checking and Boolean Graphs.” Proc. of ESOP’92, LNCS 582,1992.
-
(1992)
Proc. of ESOP’92, LNCS
, pp. 582
-
-
Andersen, H.1
-
2
-
-
0024069454
-
A Linear Algorithm To Solve Fixed-Point Equations on Transition Systems
-
Arnold, A., and P. Crubille. “A Linear Algorithm To Solve Fixed-Point Equations on Transition Systems.” Information Processing Letters, v. 29, 30 September 1988, pp. 57-66.
-
(1988)
Information Processing Letters
, vol.29
, Issue.30
, pp. 57-66
-
-
Arnold, A.1
Crubille, P.2
-
3
-
-
0022706656
-
Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications
-
Clarke, E.M., E.A. Emerson and A.P. Sistla. “Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications.” A CM Transactions on Programming Languages and System, v. 8, n. 2, 1986, pp. 244-263.
-
(1986)
A CM Transactions on Programming Languages and System
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
4
-
-
0025494721
-
Tableau-Based Model Checking in the Propositional Mu-Calculus
-
Cleaveland, R. “Tableau-Based Model Checking in the Propositional Mu-Calculus.” Acta Informatica, v. 27, 1990, pp. 725-747.
-
(1990)
Acta Informatica
, vol.27
, pp. 725-747
-
-
Cleaveland, R.1
-
7
-
-
0003020184
-
A Semantics-based Verification Tool for Finite-State Systems
-
Cleaveland, R., J. Parrow and B. Steffen. “A Semantics-based Verification Tool for Finite-State Systems”, In Proceedings of the Ninth International Symposium on Protocol Specification, Testing, and Verification. North-Holland, 1989.
-
(1989)
Proceedings of the Ninth International Symposium on Protocol Specification, Testing, and Verification. North-Holland
-
-
Cleaveland, R.1
Parrow, J.2
Steffen, B.3
-
9
-
-
85029632220
-
A Linear-Time Model Checking Algorithm for the Alternation-Free Modal Mu-Calculus
-
LNCS 575
-
Cleaveland, R. and B. Steffen. “A Linear-Time Model Checking Algorithm for the Alternation-Free Modal Mu-Calculus.” In Proceedings CAV’91, LNCS 575, 1991.
-
(1991)
Proceedings CAV’91
-
-
Cleaveland, R.1
Steffen, B.2
-
10
-
-
0022956502
-
Efficient Model Checking in Fragments of the Propositional Mu-Calculus
-
Emerson, E.A. and C.-L. Lei. “Efficient Model Checking in Fragments of the Propositional Mu-Calculus.” In Proceedings of LICS, 1986, pp. 267-278.
-
(1986)
In Proceedings of LICS
, pp. 267-278
-
-
Emerson, E.A.1
Lei, C.-L.2
-
13
-
-
49049126479
-
Results on the Propositional μ-Calculus
-
Kozen, D. “Results on the Propositional μ-Calculus.” TCS, v. 27, 1983, pp. 333-354.
-
(1983)
TCS
, vol.27
, pp. 333-354
-
-
Kozen, D.1
-
14
-
-
0011418580
-
Proof Systems for Hennessy-Milner Logic with Recursion
-
Larsen, K.G. “Proof Systems for Hennessy-Milner Logic with Recursion.” In Proceedings of CAAP, 1988.
-
(1988)
Proceedings of CAAP
-
-
Larsen, K.G.1
-
15
-
-
1542486277
-
Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems
-
of Stirling, Scotland
-
Malhotra, J., Smolka, S.A., Giacalone, A. and Shapiro, R. “Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems.” In Proceedings of the Workshop on Specification and Verification of Concurrent Systems, Univ. of Stirling, Scotland, 1988.
-
(1988)
Proceedings of the Workshop on Specification and Verification of Concurrent Systems, Univ
-
-
Malhotra, J.1
Smolka, S.A.2
Giacalone, A.3
Shapiro, R.4
-
16
-
-
85029408453
-
-
In Proceedings of the Seventh IFIP Symposium on Protocol Specification, Testing, and Verification, North-Holland
-
Richier, J., Rodriguez, C., Sifakis, J. and Voiron, J.. “Verification in XESAR of the Sliding Window Protocol.” In Proceedings of the Seventh IFIP Symposium on Protocol Specification, Testing, and Verification, 1987, North-Holland.
-
(1987)
Verification in XESAR of the Sliding Window Protocol
-
-
Richier, J.1
Rodriguez, C.2
Sifakis, J.3
Voiron, J.4
-
18
-
-
84926414743
-
Characteristic Formulae
-
LNCS 372
-
Steifen, B.U. “Characteristic Formulae." In Proceedings ICALP, LNCS 372, 1989.
-
(1989)
Proceedings ICALP
-
-
Steifen, B.U.1
-
20
-
-
85026912464
-
Local Model Checking in the Modal Mu-Calculus
-
LNCS 351
-
Stirling, C. and D. Walker. “Local Model Checking in the Modal Mu-Calculus.” In Proceedings of TAPSOFT '89, LNCS 351, 1989.
-
(1989)
Proceedings of TAPSOFT '89
-
-
Stirling, C.1
Walker, D.2
-
21
-
-
84972541021
-
A Lattice-Theoretical Fixpoint Theorem and its Applications
-
Tarski, A. “A Lattice-Theoretical Fixpoint Theorem and its Applications.” Pacific Journal of Mathematics, v. 5, 1955.
-
(1955)
Pacific Journal of Mathematics
, vol.5
-
-
Tarski, A.1
|