On improving efficiency of model checking through systematically ...

Acknowledgements
I wish to acknowledge and thank those people who helped me in my work.
First of all, I would like to thank my supervisor, Hylke van Dijk, for
his guidance and assistance in my thesis work, for constructive remarks and
valuable comments to improve the contents of my reports. My special thanks
go to Bertrand Jeannet, who made the tool Nbac. He was always patient to
answer my many questions to help me get an insight of the tool.
I thank Eun Young Kang for working with me on the same subject and
care for me as her student. Kang was always enthusiatic to encourage me
to proceed with my work. Hans Toetenel is not directly involved in the
research of this thesis. Yet, he gave me an inspiration to start my research
work on model checking. I wish to thank Frans Ververs, Arie van Deursen
and D.H.J Epema for being a member of my thesis defense committee.
I would also like to thank Nuffic, the Netherlands organization for international
cooperation in higher education, for the award of the University
Fellowship, which has financially supported me during my two years to pursue
a Master degree in this beautiful country.
And I want to thank my friends in the Master course: Rui, Orlando,
Yohanes and Lei for their friendship. Especially, I thank Viet for all that he
has done for me.
It has been very hard to stay away from home for such a long time. I
am grateful to my family for their distant support and encouragement. My
family are my source of motivation to finish this work as soon as possible.
Finally, it could be impossible for me to finish this work without my
beloved. Minh Hoang, I would like to thank you for for helping me get
through the difficult times, and for all the emotional support, and care you
provided.
iv