Efficient CTL* model checking for analysis of rainbow designs

Authors:
Willem Visser;Howard Barringer;D. Fellows;Graham Gough;Alan Williams
Affiliations:
-;-;-;-;-
Venue:
Proceedings of the IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods: Advances in Hardware Design and Verification
Year:
1997

A decision procedure for term algebras with queues

ACM Transactions on Computational Logic (TOCL)
Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Efficient Model Checking Via Büchi Tableau Automata

CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
A Decision Procedure for Term Algebras with Queues

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science

Hi-index	0.00