-
1
-
-
0002811218
-
Verifying programs with unreliable channels
-
P. Abdulla and B. Jonsson. Verifying programs with unreliable channels. Information and Computation, 127:91-101, 1996.
-
(1996)
Information and Computation
, vol.127
, pp. 91-101
-
-
Abdulla, P.1
Jonsson, B.2
-
2
-
-
0029637354
-
The Algorithmic Analysis of Hybrid Systems
-
R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The Algorithmic Analysis of Hybrid Systems. TCS, 138, 1995.
-
(1995)
TCS
, pp. 138
-
-
Alur, R.1
Courcoubetis, C.2
Halbwachs, N.3
Henzinger, T.4
Ho, P.5
Nicollin, X.6
Olivero, A.7
Sifakis, J.8
Yovine, S.9
-
3
-
-
0028413052
-
A Theory of Timed Automata
-
R. Alur and D. Dill. A Theory of Timed Automata. TCS, 126, 1994.
-
(1994)
TCS
, pp. 126
-
-
Alur, R.1
Dill, D.2
-
4
-
-
49349119822
-
Finite State Description of Communication Protocols
-
G.V. Bochmann. Finite State Description of Communication Protocols. Computer Networks, 2, October 1978.
-
(1978)
Computer Networks
, pp. 2
-
-
Bochmann, G.V.1
-
5
-
-
84947427683
-
Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs
-
B. Boigelot and P. Godefroid. Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs. In CAV'96, LNCS 1102, 1996.
-
(1996)
CAV'96
, vol.1102
-
-
Boigelot, B.1
Godefroid, P.2
-
6
-
-
84947479623
-
Symbolic Verification with Periodic Sets
-
B. Boigelot and P. Wolper. Symbolic Verification with Periodic Sets. In CAV'94-LNCS 818, 1994.
-
(1994)
CAV'94-LNCS
, vol.818
-
-
Boigelot, B.1
Wolper, P.2
-
7
-
-
0000785347
-
Reachability Analysis of Pushdown Automata: Application to Model Checking
-
A. Bouajjani, J. Esparza, and O. Maler. Reachability Analysis of Pushdown Automata: Application to Model Checking. In CONCUR '97, 1997.
-
(1997)
CONCUR '97
-
-
Bouajjani, A.1
Esparza, J.2
Maler, O.3
-
9
-
-
0346744138
-
Reachability Analysis of Pushdown Automata
-
tech. rep. MIP-9614, Univ. Passau
-
A. Bouajjani and O. Maler. Reachability Analysis of Pushdown Automata. In Infinity'96. tech. rep. MIP-9614, Univ. Passau, 1996.
-
(1996)
Infinity'96
-
-
Bouajjani, A.1
Maler, O.2
-
10
-
-
0020735797
-
On communicating finite-state machines
-
D. Brand and P. Zafiropulo. On communicating finite-state machines. JACM, 2(5):323-342, 1983.
-
(1983)
JACM
, vol.2
, Issue.5
, pp. 323-342
-
-
Brand, D.1
Zafiropulo, P.2
-
11
-
-
0347374499
-
Model-Checking of Infinite Graphs Defined by Graph Grammars
-
tech. rep. MIP-9614, Univ. Passau
-
O. Burkart and Y.M. Quemener. Model-Checking of Infinite Graphs Defined by Graph Grammars. In Infinity '96. tech. rep. MIP-9614, Univ. Passau, 1996.
-
(1996)
Infinity '96
-
-
Burkart, O.1
Quemener, Y.M.2
-
12
-
-
13544268666
-
Unreliable Channels Are Easier to Verify Than Perfect Channels
-
Gerard Cece, Alain Finkel, and S. Iyer. Unreliable Channels Are Easier to Verify Than Perfect Channels. Information and Computation, 124(1):20-31, 1996.
-
(1996)
Information and Computation
, vol.124
, Issue.1
, pp. 20-31
-
-
Cece, G.1
Finkel, A.2
Iyer, S.3
-
13
-
-
84947901716
-
Checking System Properties via Integer Programming
-
S. Melzer and J. Esparza. Checking System Properties via Integer Programming. In ESOP'96. LNCS 1058, 1996.
-
(1996)
ESOP'96
, vol.1058
-
-
Melzer, S.1
Esparza, J.2
-
14
-
-
0000457926
-
On Context-Free Languages
-
R.J. Parikh. On Context-Free Languages. JACM, 13, 1966.
-
(1966)
JACM
, pp. 13
-
-
Parikh, R.J.1
-
16
-
-
0348004850
-
Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars
-
Chapman and Hall
-
Y.M. Quemener and T. Jeron. Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. In FORTE/PSTV'96. Chapman and Hall, 1996.
-
(1996)
FORTE/PSTV'96
-
-
Quemener, Y.M.1
Jeron, T.2
|