Verification of a Chemical Process Leak Test Procedure

• Authors:

• Adam L. Turk;Scott T. Probst;Gary J. Powers

• Affiliations:

• -;-;-

• Venue:
• CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
• Year:
• 1997