Program
| #I0 | TBA |
|---|
| 9:00 |
Invited Talks |
|
|---|---|---|
| :10 | ||
| :20 | ||
| :30 | ||
| :40 | ||
| :50 | ||
| 10:00 | ||
| :10 | ||
| :20 |
|
|
| :30 | ||
| :40 | ||
| :50 |
|
|
| 11:00 |
Formal modeling and verification of behavior trees using BIP framework Qiang Wang, Simon Bliudze, Min Zhang, Huadong Dai, Yongxin Zhao
|
|
| :10 | ||
| :20 | ||
| :30 |
Verified fault handling for modern BMCs Ben Fiedler, Zikai Liu, David Cock, Timothy Roscoe
|
|
| :40 | ||
| :50 | ||
| 12:00 |
Gijs van Cuyck, Jan Tretmans, Lars van Arragon
|
|
| :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 |
| #I0 | TBA |
|---|
| 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 |
Correct Pattern-based Development Through Refinements and Weakest Preconditions Calculus Elie Fares, Jean Paul Bodeveix, Mamoun Filali-Amine
|
|
| 16:00 | ||
| :10 | ||
| :20 |
Coq Formalization of Orientation Representation: Matrix, Euler Angles, Axis-Angle and Quaternion
|
|
| :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 |