Company:Beihang UniversityLocation:Taiyuan, China / Beijing, China
Reads a state transition system and performs property checking