Accepted Papers & Talks

Verification and Testing

• Verified fault handling for modern BMCs

  Ben Fiedler, Zikai Liu, David Cock, Timothy Roscoe

• Coq Formalization of Orientation Representation: Matrix, Euler Angles, Axis-Angle and Quaternion

  Zhengpu Shi, Gang Chen

• Correct Pattern-based Development Through Refinements and Weakest Preconditions Calculus

  Elie Fares, Jean Paul Bodeveix, Mamoun Filali-Amine

Formal Models

• Formal modeling and verification of behavior trees using BIP framework

  Qiang Wang, Simon Bliudze, Min Zhang, Huadong Dai, Yongxin Zhao

• Testing Compositionality

  Gijs van Cuyck, Jan Tretmans, Lars van Arragon

• Reactive graphs in action

  David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença

Security and Blockchain

• How do Asynchronous Communication Models impact the Composability of Information Flow Security?

  Lena Gerlach, Christopher Gerking

• Extracting formal smart-contract specifications from natural language with LLMs

  Gabriel Leite, Filipe Arruda, Pedro Antonino, Augusto Sampaio, Andrew Roscoe

Invited Talks

• Comparing Reactive Models and Cyclic Components of Robotic Systems: The RoboStar approach to model-based testing

  Ana Cavalcanti

  Plenary Talks 

• Verification and Control of Stochastic Multi-agent Systems

  David Parker

• The experiences of developing the industrial-strength tools for modeling, testing and verification: a formal methods perspective

  Geguang Pu

Plenary Talks

• Comparing Reactive Models and Cyclic Components of Robotic Systems: The RoboStar approach to model-based testing

  Ana Cavalcanti

  Invited Talks 

• Safe and Easy Compile-Time Generative Programming

  Ningning Xie

• Formalising Requirements for Systems Verification

  Rosemary Monahan

• B+ or how to model system properties in a formal software model

  Thierry Lecomte

Organisation

• Best-paper award and Closing of FACS 2024

  Diego Marmsoler, Meng Sun

• Coffee Break

• Lunch Break

• Opening of FACS 2024

  Diego Marmsoler, Meng Sun