PsyC | Fabien Sironhttps://fabiensiron.github.io/tag/psyc/PsyCHugo Blox Builder (https://hugoblox.com)en-usMon, 11 Dec 2023 00:00:00 +0000https://fabiensiron.github.io/media/icon_hu4a9b1a28ab0f55b13f35c9523385d2b0_10595_512x512_fill_lanczos_center_3.pngPsyChttps://fabiensiron.github.io/tag/psyc/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/Formal Semantics of the PsyC Languagehttps://fabiensiron.github.io/publication/2023-formal-semantics-psyc/Mon, 01 May 2023 00:00:00 +0000https://fabiensiron.github.io/publication/2023-formal-semantics-psyc/The Synchronous Logical Execution Time Paradigmhttps://fabiensiron.github.io/publication/2022-synchronous-let/Tue, 14 Jun 2022 00:00:00 +0000https://fabiensiron.github.io/publication/2022-synchronous-let/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/