메뉴 건너뛰기




Volumn 19, Issue 5, 1997, Pages 726-750

Verifying Parameterized Networks

Author keywords

B.6.2 Logics Design : Reliability and Testing; D.2.4 Software Engineering : Program Verification; F.3.1 Logics and Meanings of Programs : Specifying and Verifying and Reasoning about Programs; Theory; Verification

Indexed keywords

COMPUTER SIMULATION; FORMAL LANGUAGES; FORMAL LOGIC;

EID: 0031221834     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/265943.265960     Document Type: Article
Times cited : (49)

References (22)
  • 1
    • 0022720442 scopus 로고
    • Limits for automatic verification of finite-state systems
    • APT, K. AND KOZEN, D. 1986. Limits for automatic verification of finite-state systems. Inf. Process Lett. 15, 307-309.
    • (1986) Inf. Process Lett. , vol.15 , pp. 307-309
    • Apt, K.1    Kozen, D.2
  • 2
    • 0024645541 scopus 로고
    • Reasoning about networks with many identical finite-state processes
    • BROWNE, M., CLARKE, E., AND GRUMBERG, O. 1989. Reasoning about networks with many identical finite-state processes. Inf. Comput. 81, 1 (Apr.), 13-31.
    • (1989) Inf. Comput. , vol.81 , Issue.1 APRIL , pp. 13-31
    • Browne, M.1    Clarke, E.2    Grumberg, O.3
  • 4
    • 85037030721 scopus 로고
    • Synthesis of synchronization skeletons for branching time temporal logic
    • Logic of Programs: Workshop (Yorktown Heights), D. Kozen, Ed. Springer-Verlag, Berlin
    • CLARKE, E. M. AND EMERSON, E. A. 1981. Synthesis of synchronization skeletons for branching time temporal logic. In Logic of Programs: Workshop (Yorktown Heights), D. Kozen, Ed. Lecture Notes in Computer Science, vol. 131. Springer-Verlag, Berlin.
    • (1981) Lecture Notes in Computer Science , vol.131
    • Clarke, E.M.1    Emerson, E.A.2
  • 5
    • 0022706656 scopus 로고
    • Automatic verification of finite-state concurrent systems using temporal logic specifications
    • CLARKE, E. M., EMERSON, E. A., AND SISTLA, A. P. 1986. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8, 2 (Apr.), 244-263.
    • (1986) ACM Trans. Program. Lang. Syst. , vol.8 , Issue.2 APRIL , pp. 244-263
    • Clarke, E.M.1    Emerson, E.A.2    Sistla, A.P.3
  • 8
    • 0022232627 scopus 로고
    • Invariance and non-determinacy
    • C. Hoare and J. Sheperdson, Eds. Prentice-Hall, Englewood Cliffs, N.J
    • DIJKSTRA, E. 1985. Invariance and non-determinacy. In Mathematical Logic and Programming Languages, C. Hoare and J. Sheperdson, Eds. Prentice-Hall, Englewood Cliffs, N.J.
    • (1985) Mathematical Logic and Programming Languages
    • Dijkstra, E.1
  • 11
    • 0026884434 scopus 로고
    • Reasoning about systems with many processes
    • GERMAN, S. AND SISTLA, A. 1992. Reasoning about systems with many processes. J. ACM 39, 675-735.
    • (1992) J. ACM , vol.39 , pp. 675-735
    • German, S.1    Sistla, A.2
  • 12
    • 0028427381 scopus 로고
    • Model checking and modular verification
    • GRUMBERG, O. AND LONG, D. 1994. Model checking and modular verification. ACM Trans. Program. Lang. Syst. 16, 3 (May), 843-871.
    • (1994) ACM Trans. Program. Lang. Syst. , vol.16 , Issue.3 MAY , pp. 843-871
    • Grumberg, O.1    Long, D.2
  • 15
    • 0004478491 scopus 로고
    • GORMEL - Grammar ORiented ModEL checker
    • The Technion, Haifa, Israel. Oct
    • MARELLY, R. AND GRUMBERG, O. 1991. GORMEL - Grammar ORiented ModEL checker. Tech. Rep. 697, The Technion, Haifa, Israel. Oct.
    • (1991) Tech. Rep. 697
    • Marelly, R.1    Grumberg, O.2
  • 17
    • 0003276135 scopus 로고
    • A Calculus of Communicating Systems
    • Springer-Verlag, Berlin
    • MILNER, R. 1980. A Calculus of Communicating Systems. Lecture Notes in Computer Science, vol. 92. Springer-Verlag, Berlin.
    • (1980) Lecture Notes in Computer Science , vol.92
    • Milner, R.1
  • 19
    • 85029793632 scopus 로고
    • Network grammars, communication behaviors and automatic verification
    • Proceedings of the 1989 International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, J. Sifakis, Ed. Springer-Verlag, Berlin
    • SHTADLER, Z. AND GRUMBERG, O. 1989. Network grammars, communication behaviors and automatic verification. In Proceedings of the 1989 International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, J. Sifakis, Ed. Lecture Notes in Computer Science, vol. 407. Springer-Verlag, Berlin.
    • (1989) Lecture Notes in Computer Science , vol.407
    • Shtadler, Z.1    Grumberg, O.2
  • 22
    • 85031916820 scopus 로고
    • Verifying properties of large sets of processes with network invariants
    • Proceedings of the 1989 International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, J. Sifakis, Ed. Springer-Verlag, Berlin
    • WOLPER, P. AND LOVINFOSSE, V. 1989. Verifying properties of large sets of processes with network invariants. In Proceedings of the 1989 International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, J. Sifakis, Ed. Lecture Notes in Computer Science, vol. 407. Springer-Verlag, Berlin.
    • (1989) Lecture Notes in Computer Science , vol.407
    • Wolper, P.1    Lovinfosse, V.2


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