Ausgabe 4/2014
TASE 12
Inhalt (7 Artikel)
Program verification and testing technologies
Tiziana Margaria, Zongyan Qiu, Hongli Yang
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
Expressive program verification via structured specifications
Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin
Automated verification of the FreeRTOS scheduler in Hip/Sleek
João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin
Quantitative and qualitative analysis of SysML activity diagrams
Yosr Jarraya, Mourad Debbabi
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
Model-based test generation using extended symbolic grammars
Hai-Feng Guo, Mahadevan Subramaniam