Sign in

Programme de Réparation pour les Hyperpropriétés

By Borzoo Bonakdarpour and Bernd Finkbeiner
Nous étudions le problème de réparation des hyperpropriétés spécifiées dans la logique temporelle HyperLTL. Les hyperpropriétés sont des propriétés système qui relient plusieurs traces de calcul. Cette classe de propriétés inclut des politiques de flux d'informations telles que la non-interférence et le déterminisme observationnel. Le problème de réparation est de... Show more
January 19, 2021
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
Summary