Is your master thesis publicly available?

Hi banhday,

We are working on a similar project on IC3 and TLA+, and we are very interested in your work.

Could you please send me a copy of your master thesis?
Thanks in advance.

Best,
Hengfeng