Affiner les résultats
Type de document
Institution
Collection spécifique
Langue
- Anglais (2)
Auteur
Mot clé
- Loop invariants (2)
- Termination (2)
- Transition invariants (2)
- Abstraction (1)
- Abstraction-refinement loop (1)
- Infinite loops (1)
- Invariants (1)
- Loop summarization (1)
- Over-approximation (1)
- Program abstraction (1)
- Static analysis (1)
- Symbolic execution (1) Plus Moins