Seal: Symbolic Execution with Separation Logic - (Competition Contribution).

Toms Brablec, Toms Dack, Toms Vojnar

Browse the full TACAS paper archive.