Title :
Model-Checking of Real-Time Systems: A Telecommunications Application Experience Report
Author :
Alur, Rajeev ; Jategaonkar Jagadeesan, L. ; Kott, J.J. ; von Olnhausen, J.E.
Author_Institution :
Computing Sciences Research Center, Bell Laboratories
Keywords :
Telecommunications software, Formal methods, Model checking, Real-time verification, Probabilistic verification.; Application software; Computer networks; Concurrent computing; Distributed computing; Real time systems; Software performance; Switching systems;
Conference_Titel :
Software Engineering, 1997., Proceedings of the 1997 International Conference on
Conference_Location :
Boston, MA, USA
Print_ISBN :
0-89791-914-9
DOI :
10.1109/ICSE.1997.610367
