Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Archive of Formal Proofs Année : 2016

Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths

Romain Aissat
  • Fonction : Auteur
  • PersonId : 1024644
Burkhart Wolff
Fichier non déposé

Dates et versions

hal-01764577 , version 1 (12-04-2018)

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⟩
54 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More