https://baptiste-pollien.fr/2023-12-20T16:58:37+01:00https://baptiste-pollien.fr/talk/formal-verification-of-an-uav-autopilot-static-analysis-and-verified-code-generation/2023-12-20T16:58:37+01:00https://baptiste-pollien.fr/publication-type/1/2023-12-20T16:58:37+01:00https://baptiste-pollien.fr/tag/cyberphysical-systems/2023-12-20T16:58:37+01:00https://baptiste-pollien.fr/tag/formal-methods/2023-12-20T16:58:37+01:00https://baptiste-pollien.fr/publication/thesis/2023-12-20T16:58:37+01:00https://baptiste-pollien.fr/tag/mechanized-proof/2023-12-20T16:58:37+01:00https://baptiste-pollien.fr/tag/proof-of-program/2023-12-20T16:58:37+01:00https://baptiste-pollien.fr/publication_types/2023-12-20T16:58:37+01:00https://baptiste-pollien.fr/tag/static-analysis/2023-12-20T16:58:37+01:00https://baptiste-pollien.fr/tags/2023-12-20T16:58:37+01:00https://baptiste-pollien.fr/tag/verification-and-validation/2023-12-20T16:58:37+01:00https://baptiste-pollien.fr/talk/formal-verification-of-an-uav-autopilot/2023-06-23T12:02:56+02:00https://baptiste-pollien.fr/talk/a-verified-uav-flight-plan-generator/2023-06-23T12:02:56+02:00https://baptiste-pollien.fr/publication/formalise_2023/2023-07-19T09:20:59+02:00https://baptiste-pollien.fr/tag/code-generation/2023-07-19T09:20:59+02:00https://baptiste-pollien.fr/tag/compilation/2023-07-19T09:20:59+02:00https://baptiste-pollien.fr/tag/operational-semantics/2023-07-19T09:20:59+02:00https://baptiste-pollien.fr/tag/coq/2023-03-20T10:40:54+01:00https://baptiste-pollien.fr/project/coqstats/2022-09-22T16:17:30+02:00https://baptiste-pollien.fr/tag/projects/2022-09-22T16:17:30+02:00https://baptiste-pollien.fr/project/2023-03-20T10:40:54+01:00https://baptiste-pollien.fr/talk/paparazzi-uav-flight-plan-generator-verified-in-coq/2022-06-16T11:21:20+02:00https://baptiste-pollien.fr/talk/paparazzi-uav-flight-plan-generator-verified-in-coq/2022-04-25T21:54:45+02:00https://baptiste-pollien.fr/publication-type/4/2022-03-30T17:17:35+02:00https://baptiste-pollien.fr/publication/frama-c_verification_process/2022-03-30T17:17:35+02:00https://baptiste-pollien.fr/tag/abstract-interpretation/2022-03-30T17:17:35+02:00https://baptiste-pollien.fr/tag/deductive-methods/2022-03-30T17:17:35+02:00https://baptiste-pollien.fr/tag/frama-c/2022-03-30T17:17:35+02:00https://baptiste-pollien.fr/tag/program-proof/2022-03-30T17:17:35+02:00https://baptiste-pollien.fr/talk/formal-verification-of-an-uav-autopilot/2021-12-02T10:32:09+01:00https://baptiste-pollien.fr/tag/compcert/2023-03-20T10:40:54+01:00https://baptiste-pollien.fr/tag/paparazzi/2023-03-20T10:40:54+01:00https://baptiste-pollien.fr/project/vfpg/2023-03-20T10:40:54+01:00https://baptiste-pollien.fr/talk/verifying-the-mathematical-library-of-a-uav-autopilot-with-frama-c/2021-10-18T20:14:33+02:00https://baptiste-pollien.fr/talk/verifying-the-mathematical-library-of-a-uav-autopilot-with-frama-c/2021-10-04T09:05:38+02:00https://baptiste-pollien.fr/talk/verifying-the-mathematical-library-of-a-uav-autopilot-with-frama-c/2021-07-28T15:28:56+02:00https://baptiste-pollien.fr/talk/les-methodes-formelles-etat-de-lart/2021-07-30T12:36:22+02:00https://baptiste-pollien.fr/tag/critical-systems/2021-08-27T07:18:12+02:00https://baptiste-pollien.fr/publication/fmics_2021/2021-08-27T07:18:12+02:00https://baptiste-pollien.fr/talk/verification-dune-bibliotheque-mathematique-dun-autopilote-avec-frama-c/2021-08-27T07:18:12+02:00https://baptiste-pollien.fr/tag/interpretation-abstraite/2021-07-11T12:57:57+02:00https://baptiste-pollien.fr/tag/methodes-deductives/2021-07-11T12:57:57+02:00https://baptiste-pollien.fr/tag/preuve-de-programme/2021-07-11T12:57:57+02:00https://baptiste-pollien.fr/publication/afadl_2021/2021-07-11T12:57:57+02:00https://baptiste-pollien.fr/project/paparazzi-frama-c/2021-07-20T10:35:45+02:00https://baptiste-pollien.fr/publication/state_of_the_art/2021-07-11T12:57:57+02:00https://baptiste-pollien.fr/tag/uav-autopilot/2021-07-11T12:57:57+02:00https://baptiste-pollien.fr/slides/2020-12-11T01:40:31+00:00https://baptiste-pollien.fr/slides/example/2020-12-11T01:40:31+00:00https://baptiste-pollien.fr/publication/example2/2021-06-04T22:00:57+02:00https://baptiste-pollien.fr/admin/2021-02-09T22:16:30+00:00https://baptiste-pollien.fr/categories/https://baptiste-pollien.fr/publication/2021-01-23T19:43:06+00:00https://baptiste-pollien.fr/event/2021-01-23T19:43:06+00:00