Laboratory of Analysis & Verification of Trustworthy Embedded Software, School of Computer Science and Software Engineering, East China Normal University.
Thank you very much for visiting our lab website. We are terribly sorry that we have to change to another URL.
Old site URL: www.lab205.org
New site URL: www.lab301.cn
To ensure smooth transition, we will preserve both the new and the old domain name until 2017/04/15.
Thank you for making this change and I apologize for any inconvenience it may cause you.
We are glad to announce that we have switched to wordpress!
Compared to old pages we used before, wordpress is more convenient, and more beautiful.
We will move old pages to the new website, while the old links would remain.
Wish you can find whatever you are looking for here, and enjoy the new web face! 🙂