Sign in

Vers des Preuves Structurées pour les Logiques Dynamiques

By Rose Bohrer and André Platzer
Nous présentons Kaisar, un langage de preuve interactif structuré pour la logique dynamique différentielle (dL), pour les systèmes cyber-physiques critiques pour la sécurité (CPS). La caractéristique déterminante de Kaisar est *les termes nominaux*, qui simplifient les preuves CPS en faisant des références historiques fréquemment nécessaires aux états passés du programme... Show more
August 15, 2019
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
Toward Structured Proofs for Dynamic Logics
Click on play to start listening