Improving Efficiency of Symbolic Model Checking for State-Based System Requirements

William Chan, Richard J. Anderson, Paul Beame, David Notkin. Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. In ISSTA. pages 102-112, 1998. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.