Formal Verification | Fabien Sironhttps://fabiensiron.github.io/tag/formal-verification/Formal VerificationHugo Blox Builder (https://hugoblox.com)en-usTue, 01 Sep 2026 00:00:00 +0000https://fabiensiron.github.io/media/icon_hu4a9b1a28ab0f55b13f35c9523385d2b0_10595_512x512_fill_lanczos_center_3.pngFormal Verificationhttps://fabiensiron.github.io/tag/formal-verification/Modular Extraction of Lustre Models from C Reactive Programs using Frama-Chttps://fabiensiron.github.io/publication/2026-synchrone-tcad/Tue, 01 Sep 2026 00:00:00 +0000https://fabiensiron.github.io/publication/2026-synchrone-tcad/Methodology for the Formal Verification of Temporal Properties for Real-Time Safety-Critical Applications Based on Logical Timehttps://fabiensiron.github.io/publication/2023-phd-thesis/Mon, 11 Dec 2023 00:00:00 +0000https://fabiensiron.github.io/publication/2023-phd-thesis/Semantics Foundations of PsyC Based on Synchronous Logical Execution Timehttps://fabiensiron.github.io/publication/2023-psyc-semantics/Tue, 09 May 2023 00:00:00 +0000https://fabiensiron.github.io/publication/2023-psyc-semantics/Vérification d'applications temps-réel basées sur le paradigme de Logical Execution Time (LET)https://fabiensiron.github.io/publication/2021-etr-let-verification/Mon, 20 Sep 2021 00:00:00 +0000https://fabiensiron.github.io/publication/2021-etr-let-verification/Programming and Verifying Real-Time Design Using Logical Timehttps://fabiensiron.github.io/publication/2021-fdl-logical-time/Wed, 08 Sep 2021 00:00:00 +0000https://fabiensiron.github.io/publication/2021-fdl-logical-time/