Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition

Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb

• Video #1 Length : 00:01:29 on SlidesLive
• Video #2 Length : 00:10:56 on SlidesLive