Model Checking of Real-Time Systems: A Telecommunications Application (1997)

by Rajeev Alur , Lalita Jategaonkar Jagadeesan , Joseph J. Kott , James E. Von Olnhausen
Venue:IN PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
Citations:18 - 1 self

Active Bibliography

unknown title – Lalita Jategaonkar Jagadeesany, Joseph J. Kottz, James E. Von Olnhausenz
2014 A theory of timed automata – Rajeev Alur - 1999
491 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
719 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
607 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
587 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
1273 The model checker SPIN – Gerard J. Holzmann - 1997
894 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992