A Fast Verified Liveness Analysis in SSA Form

von Léchenet, Jean-Christophe
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)

Special issue: selected extended papers of VSTTE 2016

Veröffentlicht 2018

Verified software: theories, tools and experiments : 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers

Veröffentlicht 2016

Static analysis : 22nd international symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings

Veröffentlicht 2015

Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22 - 26, 2013; proceedings

Veröffentlicht 2013