Refactoring design models for inductive verification

Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis

Volumn , Issue , 2002, Pages 164-168

  Cheng, Yung Pin ^a  

^a NATIONAL TAIWAN NORMAL UNIVERSITY   (Taiwan)

Author keywords

Compositional Analysis; Concurrency; Network Invariants; Parameterized System; Refactoring

Indexed keywords

COMPUTER HARDWARE; COMPUTER SYSTEMS; CONCURRENT ENGINEERING; NETWORK PROTOCOLS;

PARAMETERIZED SYSTEMS;

FINITE AUTOMATA;

EID: 0036986384     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/566172.566198     Document Type: Conference Paper

References (10)

1. K. R. Apt and D. C. Kozen. Limits for automatic verification of finite-state concurrent systems. Information Processing Letters, pages 207-309, 1986.
2. S. C. Cheung and J. Kramer. Checking safety properties using compositional teachability analysis. ACM Transactions on Software Engineering and Methodology, 8:49-78, January 1999.
3. M. Hennessy. Algebraic Theory of Processes. MIT Press Series in the Foundations of Computing. The MIT Press, Cambridge, Massachusetts, 1988.
4. C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, August 1978.
5. R. P. Kurshan and K. L. McMillan. A structural induction theorem for processes. Information and Computation, 117:1-11, 1995.
6. E. M.Clarke, O. Grumberg, and S. Jha. Verifying parameterized networks. In ACM Transactions on Programming Languages and Systems, volume 19, pages 726-750, 1997.
7. B. Sanden. Entity-life modeling and structured analysis in real-time software design - a comparison. Communications of the ACM, 32(12):1458-1466, December 1989.
8. any states and beyond. In International Conference on Application of Concurrency to System Design, Proceedings, pages 75-85, Aizu-Wakamatsu, Fukushima, Japan, March 1998.
9. P. Wolper and V. Lovinfosse. Verifying properties of large sets of processes with network invariants. In Automatic Verification Methods for Finite State Systems, Volumne 407 Lecture Notes in Computer Science, pages 68-80. Springer-Verlag, June 1989.
10. W. J. Yeh and M. Young. Re-designing tasking structure of ada programs for analysis:a case study. Software Testing, Verification, and Reliability, 4:223-253, 1994.