Checking Safety Properties Using Compositional Reachability Analysis

Shing-Chi Cheung, Jeff Kramer. Checking Safety Properties Using Compositional Reachability Analysis. ACM Transactions on Software Engineering Methodology, 8(1):49-78, 1999. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.