Efficient CTL* model checking for analysis of rainbow designs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan Williams. Efficient CTL* model checking for analysis of rainbow designs. In Hon F. Li, David K. Probst, editors, Advances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada. Volume 105 of IFIP Conference Proceedings, pages 128-145, Chapman & Hall, 1997.

The following publications are possibly variants of this publication:

CTL ast Model Checking on a Shared-Memory ArchitectureCornelia P. Inggs, Howard Barringer. ENTCS, 128(3):107-123, 2005. [doi]

runs on WebDSL