-
1
-
-
0032131465
-
AndM. Kwiatkowska. Model Checking for a Probabilistic Branching Time Logic with Fairness
-
C. Baier andM. Kwiatkowska. Model Checking for a Probabilistic Branching Time Logic with Fairness. DISTCOMP: Distributed Computing, 11, 1998.
-
(1998)
DISTCOMP: Distributed Computing
, pp. 11
-
-
Baier, C.1
-
2
-
-
21844505024
-
Model Checking of Probabilistic and Nondeterministic Systems
-
Springer-Verlag
-
A. Bianco and L. De Alfaro. Model Checking of Probabilistic and Nondeterministic Systems. In P. S. Thiagarajan, editor, Foundations of Software Technology and Theoretical Computer Science (FSTTCS), volume 1026 of LNCS, pages 499–513. Springer-Verlag, 1995.
-
(1995)
P. S. Thiagarajan, Editor, Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
, vol.1026
, pp. 499-513
-
-
Bianco, A.1
De Alfaro, L.2
-
3
-
-
0001107626
-
Memory-Efficient Algorithms for the Verification of Temporal Properties
-
C. Courcoubetis, M. Vardi, P. Wolper, and M. Yannakakis. Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods in System Design, 1:275–288, 1992.
-
(1992)
Formal Methods in System Design
, vol.1
, pp. 275-288
-
-
Courcoubetis, C.1
Vardi, M.2
Wolper, P.3
Yannakakis, M.4
-
4
-
-
84976740260
-
AndM. Yannakakis. The Complexity of Probabilistic Verification
-
C. Courcoubetis andM. Yannakakis. The Complexity of Probabilistic Verification. Journal of the ACM, 42(4):857–907, July 1995.
-
(1995)
Journal of the ACM
, vol.42
, Issue.4
, pp. 857-907
-
-
Courcoubetis, C.1
-
5
-
-
0029408815
-
State-Space Caching Revisited
-
P. Godefroid, G. J. Holzmann, and D. Pirottin. State-Space Caching Revisited. Formal Methods in System Design: An International Journal, 7(3):227–241, November 1995.
-
(1995)
Formal Methods in System Design: An International Journal
, vol.7
, Issue.3
, pp. 227-241
-
-
Godefroid, P.1
Holzmann, G.J.2
Pirottin, D.3
-
7
-
-
8644254552
-
On NestedDepth First Search. In The SPIN Verification System
-
Proc. of the SecondSPIN Workshop
-
G.J. Holzmann, D. Peled, and M. Yannakakis. On NestedDepth First Search. In The SPIN Verification System, pages 23–32. American Mathematical Society, 1996. Proc. of the SecondSPIN Workshop.
-
(1996)
American Mathematical Society
, pp. 23-32
-
-
Holzmann, G.J.1
Peled, D.2
Yannakakis, M.3
-
8
-
-
84937687275
-
Probabilistic Temporal Logics via the Modal Mu-Calculus
-
M. Narasimha, R. Cleaveland, and P. Iyer. Probabilistic Temporal Logics via the Modal Mu-Calculus. In W. Thomas, editor, Proceedings of the Second International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), volume 1578 of LNCS, pages 288–305. Springer-Verlag, 1999.
-
(1999)
W. Thomas, Editor, Proceedings of the Second International Conference on Foundations of Software Science and Computation Structures (Fossacs)
, vol.1578
, pp. 288-305
-
-
Narasimha, M.1
Cleaveland, R.2
Iyer, P.3
-
9
-
-
31644447211
-
Combining State Space Caching andHash Compaction
-
In B. Straube andJ. Schoenherr, editors, Shaker Verlag, Aachen
-
U. Stern and D.L. Dill. Combining State Space Caching andHash Compaction. In B. Straube andJ. Schoenherr, editors, 4. GI/ITG/GME Workshop zur Methoden des Entwurfs und der Verifikation Digitaler Systeme, pages 81–90. Shaker Verlag, Aachen, 1996.
-
(1996)
4. GI/ITG/GME Workshop Zur Methoden Des Entwurfs Und Der Verifikation Digitaler Systeme
, pp. 81-90
-
-
Stern, U.1
Dill, D.L.2
-
10
-
-
0001790593
-
Depth First Search andLinear Graph Algorithms
-
R. Tarjan. Depth First Search andLinear Graph Algorithms. SIAM journal on computing, pages 146–160, Januar 1972.
-
(1972)
SIAM Journal on Computing
, pp. 146-160
-
-
Tarjan, R.1
-
11
-
-
84957708709
-
Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach
-
M. Vardi. Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach. In J.-P. Katoen, editor, International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems (ARTS), volume 1601 of LNCS, pages 265–276. Springer-Verlag, 1999.
-
(1999)
J.-P. Katoen, Editor, International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems (ARTS)
, vol.1601
, pp. 265-276
-
-
Vardi, M.1
-
13
-
-
84957801712
-
Model Checking andRand om Competition – A Study Using the Model Checking Framework MIC. 10. GI/ITG Fachgesprach
-
A. K. Wisspeintner, F. Huber, and J. Philipps. Model Checking andRand om Competition – A Study Using the Model Checking Framework MIC. 10. GI/ITG Fachgesprach ”Formale Beschreibungstechniken fur verteilte Systeme”, pages 91–100, June 2000.
-
(2000)
”Formale Beschreibungstechniken Fur Verteilte Systeme”
, pp. 91-100
-
-
Wisspeintner, A.K.1
Huber, F.2
Philipps, J.3
-
14
-
-
84947920821
-
Reliable Hashing Without Collision Detection
-
P. Wolper and D. Leroy. Reliable Hashing Without Collision Detection. In C. Courcoubetis, editor, Proc. 5th International Computer Aided Verification Conference (CAV’93), volume 697 of LNCS, pages 59–70. Springer-Verlag, 1993.
-
(1993)
C. Courcoubetis, Editor, Proc. 5Th International Computer Aided Verification Conference (CAV’93)
, vol.697
, pp. 59-70
-
-
Wolper, P.1
Leroy, D.2
|