W
Why3
Projects with this topic
-
Formalization in Coq and Why3 of a theory about weak control dependence
Updated
[En cours] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
[In progress] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Mise à jour de sécurité programmée vendredi 13/09/2024 à 8h. Prévoir entre 30 et 45 minutes d'interruption de service.
Release note 17.3.2 : https://about.gitlab.com/releases/2024/09/11/patch-release-gitlab-17-3-2-released/?utm_medium=email&utm_source=marketo&utm_campaign=security+release+email&September+10+2024
Formalization in Coq and Why3 of a theory about weak control dependence