AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution).

Zhen Wang, Zhenbang Chen

Browse the full TACAS paper archive.