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 LeofanteAlessio LomuscioDragos MargineantuDenis Osipychev and Yang Zheng. Formal Analysis of Neural Network-based Systems in the Aircraft Domain

Tino TeigeAndreas 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