iris-time-proofs
Ce projet vise à fournir une preuve formelle de la sécurité des systèmes informatiques en utilisant la logique de séparation avec crédits de temps. Il permet de vérifier des propriétés temporelles dans des programmes concurrents et de développer des spécifications formelles pour des systèmes temps-réel.
Cas d'utilisation métiers
- Vérification de propriétés temporelles dans les programmes concurrents : rechercher des initiatives proches
- Développement de spécifications formelles pour les systèmes temps-réel : rechercher des initiatives proches
- Preuve formelle de la sécurité des systèmes informatiques : rechercher des initiatives proches
Organisation
- Institut national de recherche en informatique et en automatique (organisation rattachée)
Description générée le lundi 18 mars 2024 à 23:43:28