Formal Verification of Industrial Software with Dynamic Memory Management.

Sbastien Labb, Arnaud Sangnier

Browse the full PRDC paper archive.