Verification of a chemical process leak test procedure

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1254, Issue , 1997, Pages 84-94

  Turk, Adam L ^a   Probst, Scott T ^a   Powers, Gary J ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL INDUSTRY; COMBUSTION; COMPUTER AIDED ANALYSIS; FUEL SYSTEMS; TESTING;

CHEMICAL PROCESS; COMBUSTION SYSTEMS; COMPUTATIONAL CHALLENGES; INDUSTRIAL PROCESSS; LOGIC MODELING; PIPE NETWORKS; PROCESS MODELING; VERIFICATION RESULTS;

FORMAL VERIFICATION;

EID: 35048868565     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63166-6_11     Document Type: Conference Paper

References (17)

1. R. Anderson, P. Beame, S. Burns, W. Chan, F. Modugno, D Notkin, and J. Reese, Model Checking Large Software Specifications. Proceedings of the Fourth ACM Symposium on the Foundation of Software Engineering: 156, 166, October, 1996.
2. Bryant, R. E., "Graph-Based Algorithms for Boolean Function Manipulation", IEEE Tans. on Computers, 35(8), 677-691, 1986.
3. Bryant, R. E., "Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams", Computing Surveys, 24(3), 298-318, 1992.
4. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hawng, Symbolic Model Checking: 1020 states and Beyond. Information and Computation, 98(2): 142-170, June 1992.
5. J. R. Burch, E. M. Clarke, D. E. Long, K. L. McMillan and D. L. Dill, Symbolic Model Checking for Sequential Circuit Verification. IEEE Transactions on Computer-Aided Design of lntegraied Circuits and Systems, 13, 401-424, 1994.
6. E. M. Clarke, A. Emerson and A. P. Sistla, Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems, 8 (2), 244-263, 1986.
7. E. M. Clarke, T. Filkorn, and S. Jha, Exploiting Symmetry in Temporal Logic Model Checking. Proceedings of the Fifth Workshop on Computer-Aided Verification, Ed. C. Courcoubetis. June/July 1993.
8. E. M. Clarke, O. Grumberg, K. L. McMillan, and X. Zhao, Effective Generation of Counterexamples and Witnesses in Symbolic Model Checking. Technical Report No. CMU-CS-94-204, Carnegie Mellon University, PA, 1994.
9. V. Hartonas-Garmhausen, T. Kurfess, E. M. Clarke, and D. E. Long, Automatic Verification of Industrial Designs. Proceedings of the 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques. 88-96. IEEE Comput. Soc. Press, April 1995.
10. M. Jackson, Software Requirements and Specifications, ACM and Addison-Wesley, New York, 1995.
11. K. L. McMiUan, Symbolic Model Checking-An Approach to the State Explosion Problem, Ph.D. Thesis, Carnegie Mellon University, 1992.
12. I. Moon, Automatic Verification of Discrete Chemical Process Control Systems, Ph.D. Thesis, Carnegie Mellon University, 1992.
13. S. T. Probst, G. J. Powers, D. E. Long, and I. Moon, Verification of a Logically Controlled Solids Transport System using Symbolic Model Checking. Submitted for publication in Computers and Chemical Engineering, 1994.
14. S. T. Probst, and G. J. Powers, Automatic Verification of Control Logic in the Presence of Process Faults. Presented at the Annual AIChE Conference, San Francisco, CA, November 1994.
15. S. T. Probst, A. L. Turk, and G. J. Powers, Formal Verification of a Furnace System Standard. Presented at the Annual AIChE Conference, Miami Beach, FL, November 1995.
16. S. T. Probst, Chemical Process Safety and Operability Analysis using Symbolic Model Checking, Ph.D. Thesis, Carnegie Mellon University, 1996.
17. T. Sreemani and J. Atlee, Feasibility of Model Checking Software Requirements: A Case Study. Technical Report CS96-05, Department of Computer Science, University of Waterloo, January, 1996.