Rance Cleaveland

Rance Cleaveland

University of Maryland - College Park / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1292571
person_outline Rance Cleaveland's MOST POPULAR ARTICLES
1-) A linear-time model-checking algorithm for the alternation-free modal mu-calculus Formal methods in system design 2, 121-147, 1993
2-) Tableau-based model checking in the propositional mu-calculus Acta Informatica 27 (8), 725-747, 1990
3-) The NCSU concurrency workbench Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
4-) The concurrency workbench Automatic Verification Methods for Finite State Systems: International …, 1990
5-) Efficient on-the-fly model checking for CTL Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 388-397, 1995