Lecture: Testing-Based Formal Verification for Software Quality Assurance and Cost Reduction-Tianjin University:

中文版 web

About TJU
- TJU Facts
- History
- Visit TJU
- President
Founded in 1895 as Peiyang University, Tianjin University is the oldest institute of higher education in China, and pioneered the development of modern Chinese education.
Admissions
Tianjin University adheres to the mission of training high caliber talents with innovative abilities, and has had considerable success in the training of high-level specialists in various fields.
Academics
Tianjin University constantly refines and optimizes the structure of academic disciplines, and has set up 61 undergraduate programs, 35 master degree programs, and 27 doctoral degree programs.
Research
- Reserch News
Campus Life
A rich campus life awaits all those who come to Tianjin University. An integral part of our mission to train talented graduates is providing a fertile environment for students to develope their social, cultural, sporting and artistic lives.
Faculty

About TJU
- TJU Facts
- History
- Visit TJU
- President
Founded in 1895 as Peiyang University, Tianjin University is the oldest institute of higher education in China, and pioneered the development of modern Chinese education.
Admissions
Tianjin University adheres to the mission of training high caliber talents with innovative abilities, and has had considerable success in the training of high-level specialists in various fields.
Academics
Tianjin University constantly refines and optimizes the structure of academic disciplines, and has set up 61 undergraduate programs, 35 master degree programs, and 27 doctoral degree programs.
Research
- Reserch News
Campus Life
A rich campus life awaits all those who come to Tianjin University. An integral part of our mission to train talented graduates is providing a fertile environment for students to develope their social, cultural, sporting and artistic lives.
Faculty