Room 3.0.2

Rooms

Room details can be found here

10:50	Opening of FACS 2024 Diego Marmsoler, Meng Sun
11:00	Coq Formalization of Orientation Representation: Matrix, Euler Angles, Axis-Angle and Quaternion Zhengpu Shi, Gang Chen
11:30	Verified fault handling for modern BMCs Ben Fiedler, Zikai Liu, David Cock, Timothy Roscoe
12:00	Correct Pattern-based Development Through Refinements and Weakest Preconditions Calculus Elie Fares, Jean Paul Bodeveix, Mamoun Filali-Amine
15:50	Verification and Control of Stochastic Multi-agent Systems David Parker
16:50	Extracting formal smart-contract specifications from natural language with LLMs Gabriel Leite, Filipe Arruda, Pedro Antonino, Augusto Sampaio, Andrew Roscoe
17:20	How do Asynchronous Communication Models impact the Composability of Information Flow Security? Lena Gerlach, Christopher Gerking

10:50	The experiences of developing the industrial-strength tools for modeling, testing and verification: a formal methods perspective Geguang Pu
15:50	Testing Compositionality Gijs van Cuyck, Jan Tretmans, Lars van Arragon
16:20	Formal modeling and verification of behavior trees using BIP framework Qiang Wang, Simon Bliudze, Min Zhang, Huadong Dai, Yongxin Zhao
16:50	Reactive graphs in action David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença
17:20	Best-paper award and Closing of FACS 2024 Diego Marmsoler, Meng Sun