focus in verification of real time embedded control system using static analysis, theorem proving

​​Master's Degree in Cyberspace Security, Chinese Academy of Sciences