Affiner les résultats
Type de document
Institution
Collection spécifique
Langue
- Anglais (2)
Auteur
- Hoang, Thai (1)
- Sharygina, Natasha (Dir.) (1)
- Tsitovich, Aliaksei (1)
Mot clé
- Invariants (2)
- Abstraction (1)
- Abstraction-refinement loop (1)
- Event-B (1)
- Infinite loops (1)
- Loop invariants (1)
- Noninterference security (1)
- Over-approximation (1)
- Refinement (1)
- Static analysis (1)
- Symbolic execution (1)
- Termination (1)
- The Shadow semantics (1)
- Transition invariants (1) Plus Moins