On improving efficiency of model checking through systematically ...

Bibliography
[1] Hytech documentation. http://www-cad.eecs.berkeley.edu/ tah/hytech/.
[2] The language Lustre. http://www-verimag.imag.fr/synchrone/lustreenglish.html.
[3] SMV documentation. http://www-2.cs.cmu.edu/ modelcheck/smv.html.
[4] Spin documentation. http://spinroot.com/spin/whatispin.html.
[5] UPPAAL documentation. http://www.docs.uu.se/docs/rtmv/uppaal/.
[6] R. Alur and D. Dill. The theory of timed automata. Lecture Notes in
Computer Science, 600:45–, 1992.
[7] Rajeev Alur and David L. Dill. A theory of timed automata. Theor.
Comput. Sci., 126(2):183–235, 1994.
[8] J. Bengtsson, K. G. Larsen, F. Larsson, and P. Pettersson. UPPAAL: a
tool suite for automatic verification of real-time systems. Lecture Notes
in Computer Science, 1066, 1996.
[9] Saddek Bensalem, Yassine Lakhnech, and Sam Owre. Computing abstractions
of infinite state systems compositionally and automatically.
In Proceedings of the 10th International Conference on Computer Aided
Verification, pages 319–331. Springer-Verlag, 1998.
[10] Tevfik Bultan, Richard Gerber, and William Pugh. Model-checking
concurrent systems with unbounded integer variables: symbolic representations,
approximations, and experimental results. ACM Trans.
Program. Lang. Syst., 21(4):747–789, 1999.
[11] Alan Burns and Jing Chen. Asynchronous data sharing in multiprocessor
real-time systems using process consensus. In Proceedings of the
10th Euromicro Workshop on Real-Time Systems, IEEE press, pages
2–9, 1998.
63