Burkhart Wolff
4
Documents
Présentation
[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")
[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")
Publications
- 4
- 3
- 2
- 1
Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of PathsArchive of Formal Proofs, 2016
Article dans une revue
hal-01764577v1
|
Infeasible Paths Elimination by Symbolic Execution TechniquesInteractive Theorem Proving. ITP 2016, 2016, NANCY, France
Communication dans un congrès
hal-01632902v1
|
|
A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution2016 {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} , Aug 2016, Vienna, Austria
Communication dans un congrès
hal-01655414v1
|
|
|
Pruning Infeasible Paths via Graph Transformations and Symbolic Execution: a Method and a Tool[Research Report] 1588, Laboratoire de Recherche en Informatique [LRI], UMR 8623, Bâtiments 650-660, Université Paris-Sud, 91405 Orsay Cedex. 2016
Rapport
hal-01764525v1
|