Affiner les résultats
Institution
Collection spécifique
Langue
- Anglais (1)
Auteur
- Sharygina, Natasha (Dir.) (1)
- Tsitovich, Aliaksei (1)
Domaine
Mot clé
- Abstraction (1)
- Abstraction-refinement loop (1)
- Infinite loops (1)
- Invariants (1)
- Loop invariants (1)
- Over-approximation (1)
- Static analysis (1)
- Symbolic execution (1)
- Termination (1)
- Transition invariants (1)