COMPSAC 2009

Formal Methods (Formal Specification and Model Checking)
Chair: Cristina Seceleanu, Malardalen University, Sweden

Download the Presentation: View, Play MP3, Play M4B, Play M4V

• A Formal Description Language and an Automated Detection Method for Complex Events in RFID
  Jiaqi Zhu, Yu Huang, Hanpin Wang
  
  
• Translation-based Model Checking for PLC Programs
  Min Zhou, Fei He, Ming Gu, Xiaoyu Song
  
  
• Modular Certification of Low-level Intermediate Representation Programs
  Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang