Publications

Export 4 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is temporal logic  [Clear All Filters]
1997
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.
1996
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.
1995
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.
1994
Elseaidy WM, Cleaveland R, Baugh JW.  1994.  Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.