Article Dans Une Revue
Archive of Formal Proofs
Année : 2016
Frédéric VOISIN : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01764577
Soumis le : jeudi 12 avril 2018-11:24:23
Dernière modification le : vendredi 9 février 2024-03:25:28
Dates et versions
Identifiants
- HAL Id : hal-01764577 , version 1
Citer
Romain Aissat, Frédéric Voisin, Burkhart Wolff. Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths. Archive of Formal Proofs, 2016. ⟨hal-01764577⟩
Collections
54
Consultations
0
Téléchargements