Publications

Export 4 results:
[ Author(Desc)] Title Type Year
Filters: Keyword is temporal logic  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
Bhat G, Cleaveland R.  1996.  Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.
Bhat G, Cleaveland R, Grumberg O.  1995.  Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
E
Elseaidy WM, Cleaveland R, Baugh JW.  1994.  Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
J
Jagadeesan L J, Porter A, Puchol C, Ramming CJ, Votta LG.  1997.  Specification-based Testing of Reactive Software: Tools and Experiments. Software Engineering, International Conference on. :525-525.