메뉴 건너뛰기




Volumn 1256, Issue , 1997, Pages 560-570

Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY;

EID: 84950991319     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63165-8_211     Document Type: Conference Paper
Times cited : (34)

References (16)
  • 1
    • 0002811218 scopus 로고    scopus 로고
    • 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
  • 3
    • 0028413052 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • On Context-Free Languages
    • R.J. Parikh. On Context-Free Languages. JACM, 13, 1966.
    • (1966) JACM , pp. 13
    • Parikh, R.J.1
  • 16
    • 0348004850 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.