Carl-Johan Seger. Formal Verification of Complex Data Paths: An Industrial Perspective
Song Gao, Bohua Zhan, Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen and Lijun Zhang. Formal Verification of Consensus in the Taurus Distributed Database
Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos Margineantu, Denis Osipychev and Yang Zheng. Formal Analysis of Neural Network-based Systems in the Aircraft Domain
Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans Jürgen Holberg and Tom Bienmüller. Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems
Cesar Santos, Tom Schrijvers, Amr Hany Saleh and Mike Nicolai. Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts
Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu and Xuandong Li. Combined Online Checking and Control Synthesis: a Study on a Vehicle Platoon Testbed
Yousaf Rahman, Md Tawhid Bin Waez and Yuming Niu. Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles
Grant Passmore. Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms
Wenjing Xu, Yongwang Zhao, Chengtao Cao, Jean Raphael Ngnie Sighom, Lei Wang, Zhe Jiang and Shihong Zou. Apply Formal Methods in Certifying the SyberX High-Assurance Kernel