Issue 4/2014
TASE 12
Content (7 Articles)
Introduction
Program verification and testing technologies
Tiziana Margaria, Zongyan Qiu, Hongli Yang
TASE 12
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems
Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David
TASE 12
Expressive program verification via structured specifications
Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin
Tase 12
Automated verification of the FreeRTOS scheduler in Hip/Sleek
João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin
TASE 12
Quantitative and qualitative analysis of SysML activity diagrams
Yosr Jarraya, Mourad Debbabi
TASE 12
Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang
TASE 12
Model-based test generation using extended symbolic grammars
Hai-Feng Guo, Mahadevan Subramaniam