Anna Zaks

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Anna Zaks, Amir Pnueli
Program analysis for compiler validation. PASTE (2008)
Anna Zaks, Rajeev Joshi
Verifying Multi-threaded C Programs with SPIN. SPIN (2008)
Anna Zaks, Amir Pnueli
CoVaC: Compiler Validation by Program Analysis of the Cross-Product. FM (2008)