Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution).

Eti Chaudhary, Saurabh Joshi

Browse the full TACAS paper archive.