Program
| 9:00 |
Invited Talks |
|||||
|---|---|---|---|---|---|---|
| :10 | ||||||
| :20 | ||||||
| :30 | ||||||
| :40 | ||||||
| :50 | ||||||
| 10:00 | ||||||
| :10 | ||||||
| :20 |
|
|||||
| :30 | ||||||
| :40 | ||||||
| :50 |
|
|||||
| 11:00 |
Coq Formalization of Orientation Representation: Matrix, Euler Angles, Axis-Angle and Quaternion
|
|||||
| :10 | ||||||
| :20 | ||||||
| :30 |
Verified fault handling for modern BMCs Ben Fiedler, Zikai Liu, David Cock, Timothy Roscoe
|
|||||
| :40 | ||||||
| :50 | ||||||
| 12:00 |
Correct Pattern-based Development Through Refinements and Weakest Preconditions Calculus Elie Fares, Jean Paul Bodeveix, Mamoun Filali-Amine
|
|||||
| :10 | ||||||
| :20 | ||||||
| :30 |
|
|||||
| :40 | ||||||
| :50 | ||||||
| 13:00 | ||||||
| :10 | ||||||
| :20 | ||||||
| :30 | ||||||
| :40 | ||||||
| :50 | ||||||
| 14:00 |
Formalising Requirements for Systems Verification
|
|||||
| :10 | ||||||
| :20 | ||||||
| :30 | ||||||
| :40 | ||||||
| :50 | ||||||
| 15:00 | ||||||
| :10 | ||||||
| :20 |
|
|||||
| :30 | ||||||
| :40 | ||||||
| :50 |
Verification and Control of Stochastic Multi-agent Systems
|
|||||
| 16:00 | ||||||
| :10 | ||||||
| :20 | ||||||
| :30 | ||||||
| :40 | ||||||
| :50 |
Extracting formal smart-contract specifications from natural language with LLMs Gabriel Leite, Filipe Arruda, Pedro Antonino, Augusto Sampaio, Andrew Roscoe
|
|||||
| 17:00 | ||||||
| :10 | ||||||
| :20 |
How do Asynchronous Communication Models impact the Composability of Information Flow Security? Lena Gerlach, Christopher Gerking
|
|||||
| :30 | ||||||
| :40 |
| 9:00 |
Safe and Easy Compile-Time Generative Programming
|
|||||
|---|---|---|---|---|---|---|
| :10 | ||||||
| :20 | ||||||
| :30 | ||||||
| :40 | ||||||
| :50 | ||||||
| 10:00 | ||||||
| :10 | ||||||
| :20 |
|
|||||
| :30 | ||||||
| :40 | ||||||
| :50 |
|
|||||
| 11:00 | ||||||
| :10 | ||||||
| :20 | ||||||
| :30 | ||||||
| :40 | ||||||
| :50 | ||||||
| 12:00 | ||||||
| :10 |
|
|||||
| :20 | ||||||
| :30 | ||||||
| :40 | ||||||
| :50 | ||||||
| 13:00 | ||||||
| :10 | ||||||
| :20 | ||||||
| :30 | ||||||
| :40 | ||||||
| :50 | ||||||
| 14:00 |
B+ or how to model system properties in a formal software model
|
|||||
| :10 | ||||||
| :20 | ||||||
| :30 | ||||||
| :40 | ||||||
| :50 | ||||||
| 15:00 | ||||||
| :10 | ||||||
| :20 |
|
|||||
| :30 | ||||||
| :40 | ||||||
| :50 |
Gijs van Cuyck, Jan Tretmans, Lars van Arragon
|
|||||
| 16:00 | ||||||
| :10 | ||||||
| :20 |
Formal modeling and verification of behavior trees using BIP framework Qiang Wang, Simon Bliudze, Min Zhang, Huadong Dai, Yongxin Zhao
|
|||||
| :30 | ||||||
| :40 | ||||||
| :50 |
David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença
|
|||||
| 17:00 | ||||||
| :10 | ||||||
| :20 |
Best-paper award and Closing of FACS 2024
|
|||||
| :30 | ||||||
| :40 |