Accepted Industry Track Papers
MDP-based Reliability Analysis of an Ambient Assisted Living System
Authors: Yan Liu, Lin Gui and Yang Liu
Formal Verification of Lunar Rover Control Software Using UPPAAL
Authors: Lijun Shan
Diagnosing Industrial Business Processes: Early Experiences
Authors: Suman Roy, A. S. M. Sajeev and Srivibha Sripathy
Formally Verifying Graphics FPU: An Intel® Experience
Authors: Aarti Gupta, M Achutha Kirankumar V and Rajnish Ghughal
The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification
Authors: Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muniz and Ahmad Siyar Andisha
Formal Verification of a Descent Guidance Control Program of a Lunar Lander
Authors: Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu, Liang Zou and Yao Chen
Formalizing and Verifying a Modern Build Language
Authors: Maria Christakis, Rustan Leino and Wolfram Schulte